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