diff --git a/docs/magic.sh b/docs/magic.sh index a024d98cccf5d0c8414e6228a290b77dfda5ae5c..7d795aac71c8e3f5cc7879bf2a1059e1a352fa70 100755 --- a/docs/magic.sh +++ b/docs/magic.sh @@ -23,7 +23,7 @@ for week in 7 11 3 2 4 5 6 9 10 13 14; do echo "week $week incoming..." git clean -fd git reset --hard - git checkout "w${week}" + git checkout "tags/w${week}" rm -rf /tmp/javadoc