diff --git a/docs/magic.sh b/docs/magic.sh index 2337a0ebef454fcc330f9bebef7577f11cf86d1b..1eb34ceba6cdc080c7100500b62dfdcda4d80315 100755 --- a/docs/magic.sh +++ b/docs/magic.sh @@ -18,7 +18,7 @@ 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 + rm -f ../src/projlab.jar echo "week $week incoming..." git clean -fd git reset --hard