diff --git a/docs/magic.sh b/docs/magic.sh index 697e653879ec38b364bf08d0a9180238780d2b3c..823d8217feb4db9c72a1cc6e46cc33862b725afb 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