3 "$HOME"/admin/prog/git-scripts/update || exit 1
5 current="`git config --get --path remote.current.url`"
7 # Copy mimedecode.docbook with timestamp to avoid rebuilding
8 exec rsync -ahP "$current"/mimedecode.docbook "$current"/mimedecode.man \
9 "$current"/mimedecode.html "$current"/mimedecode.txt .