From 5841832476f076fac16a5c154f9d9c039f573496 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mikl=C3=B3s=20T=C3=B3th?= <tothmiklostibor@gmail.com>
Date: Mon, 10 May 2021 02:37:07 +0200
Subject: [PATCH] fix
---
docs/magic.sh | 7 +++----
1 file changed, 3 insertions(+), 4 deletions(-)
diff --git a/docs/magic.sh b/docs/magic.sh
index 02a7045a..3fe50859 100755
--- a/docs/magic.sh
+++ b/docs/magic.sh
@@ -16,7 +16,7 @@ for week in 2 3 4 5 6 7 9 10 11 13 14; do
git clean -fd
git checkout "w${week}"
- if [ "$week" = "5" ]; then
+ if [ "$week" = "5" ] || [ "$week" = "6" ]; then
bash -c "cd ..; /tmp/merge/build.sh"
fi
@@ -41,12 +41,12 @@ run=0
toc=0
rounds=0
while [ "$run" = "0" ] || [ "$toc" = "0" ]; do
- if [ -f projlab.toc ]; then
+ if [ -f magic.toc ]; then
toc="1"
else
toc="0"
fi
- lualatex -shell-escape projlab.tex | tee /tmp/texlog
+ lualatex -shell-escape magic.tex | tee /tmp/texlog
grep -vi rerunfilecheck.sty /tmp/texlog | grep -i rerun
run=$?
rounds=$((rounds+1))
@@ -54,5 +54,4 @@ done
echo "Generated doc in $rounds round(s)"
-mv projlab.pdf merged.pdf
--
GitLab