web="`git config --get --path remote.web.url`" &&
[ -n "$web" ] && git push web
-# Copy search_tags.* with timestamp to avoid rebuilding
-rsync -ahP "$current"/search_tags.py "$current"/search_tags.tmpl . &&
+# Copy templates and generated files with timestamps to avoid rebuilding
+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
+# Save files generated by yacc
+rsync -ahP "$current"/parser.out "$current"/parsetab.py . &&
+
+cd "$current" && git pull origin &&
+
+cgi="`git config --get --path remote.cgi.url`" &&
+[ -n "$cgi" ] && cd "$cgi" && exec git pull origin