--- /dev/null
+#! /bin/sh
+
+current="`git config --get remote.current.url`" &&
+
+git pull --ff-only current master && git push web &&
+
+# Copy mimedecode.docbook with timestamp to avoid rebuilding
+rsync -ahP "$current"/mimedecode.docbook "$current"/mimedecode.man \
+ "$current"/mimedecode.html "$current"/mimedecode.txt . &&
+
+cd "$current" &&
+exec git pull origin