[ -n "$web" ] && git push web
# Copy search_tags.* with timestamp to avoid rebuilding
-rsync -ahP "$current"/search_tags.py "$current"/search_tags.tmpl . &&
+rsync -ahP "$current"/html/html.py "$current"/html/html.tmpl \
+ "$current"/html/redirect.py "$current"/html/redirect.tmpl html &&
cd "$current" && exec git pull origin