3 current="`git config --get remote.current.url`" &&
5 git pull --ff-only current master && git push web &&
7 # Copy mimedecode.docbook with timestamp to avoid rebuilding
8 rsync -ahP "$current"/mimedecode.docbook "$current"/mimedecode.man \
9 "$current"/mimedecode.html "$current"/mimedecode.txt . &&