diff --git a/docs/magic.sh b/docs/magic.sh index 4edb86f7e664b8b1cd7e616620b6bad686181106..6c3a4361d97c05a292df39f8b03bdf67468e7ee6 100755 --- a/docs/magic.sh +++ b/docs/magic.sh @@ -18,9 +18,10 @@ cp includes/misc-functions.tex /tmp/merge/misc-functions.tex hash="$(git rev-parse HEAD)" for week in 7 11 3 2 4 5 6 9 10 13 14; do + rf -f ../src/projlab.jar echo "week $week incoming..." - git reset --hard git clean -fd + git reset --hard git checkout "w${week}" if [ "$week" = "5" ] || [ "$week" = "6" ]; then