diff --git a/docs/magic.sh b/docs/magic.sh index 9404f947875da6ca2358632422b03ecbc4cbb780..3eba485910dc5373cf742243a683cb01b2f82944 100755 --- a/docs/magic.sh +++ b/docs/magic.sh @@ -23,6 +23,8 @@ for week in 7 11 3 2 4 5 6 9 10 13 14; do git reset --hard git checkout "w${week}" + rm -rf /tmp/javadoc + if [ "$week" = "5" ] || [ "$week" = "6" ]; then bash -c "cd ..; /tmp/merge/build.sh" fi