force tags

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