diff --git a/docs/magic.sh b/docs/magic.sh index 7d795aac71c8e3f5cc7879bf2a1059e1a352fa70..d63046957735a83521e462a5dc6f961b7baa333d 100755 --- a/docs/magic.sh +++ b/docs/magic.sh @@ -17,7 +17,7 @@ cp includes/misc-functions.tex /tmp/merge/misc-functions.tex hash="$(git rev-parse HEAD)" -git fetch --all --tags +git fetch --all --tags -f for week in 7 11 3 2 4 5 6 9 10 13 14; do echo "week $week incoming..."