-#! /bin/sh
-
-"$HOME"/admin/prog/git-scripts/update || exit 1
-
-current="`git config --get --path remote.current.url`"
-
-# 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 &&
-
-# Copy files generated by yacc
-rsync -ahP "$current"/parser.out "$current"/parsetab.py . &&
-
-cgi="`git config --get --path remote.cgi.url`" &&
-if [ -n "$cgi" ]; then
- umask 022 && cd "$cgi" && git pull origin &&
- rsync -ahP "$current"/html/html.py "$current"/html/html.tmpl \
- "$current"/html/redirect.py "$current"/html/redirect.tmpl html &&
- rsync -ahP "$current"/parser.out "$current"/parsetab.py . &&
- compyleall && chmod -R a+rX .
-fi &&
-
-cd "$current" && exec git pull origin