Add update script

diff --git a/update b/update
new file mode 100755 (executable)
index 0000000..e511395
--- /dev/null
+++ b/update
@@ -0,0 +1,12 @@
+#! /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