From 50ab368ac1d840ae9962c030ab550137ee8768d6 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 03:33:45 +0200
Subject: [PATCH] more workarounds
---
docs/magic.sh | 8 +++++++-
1 file changed, 7 insertions(+), 1 deletion(-)
diff --git a/docs/magic.sh b/docs/magic.sh
index 697e6538..823d8217 100755
--- a/docs/magic.sh
+++ b/docs/magic.sh
@@ -13,9 +13,11 @@ if [ -d lines ]; then
cp -r docs/lines /tmp/
fi
+cp includes/misc-functions.tex /tmp/merge/misc-functions.tex
+
hash="$(git rev-parse HEAD)"
-for week in 7 11 2 3 4 5 6 9 10 13 14; do
+for week in 7 11 3 2 4 5 6 9 10 13 14; do
echo "week $week incoming..."
git reset --hard
git clean -fd
@@ -25,6 +27,10 @@ for week in 7 11 2 3 4 5 6 9 10 13 14; do
bash -c "cd ..; /tmp/merge/build.sh"
fi
+ if [ "$week" = "3" ]; then
+ cp /tmp/merge/misc-functions.tex includes/misc-functions.tex
+ fi
+
if [ "$week" = "14" ]; then
cp -r /tmp/lines docs/
fi
--
GitLab