a script to git-pull and update-server-info (for use in the html directory)

diff --git a/pull-and-update.sh b/pull-and-update.sh
new file mode 100755 (executable)
index 0000000..f806898
--- /dev/null
+++ b/pull-and-update.sh
@@ -0,0 +1,4 @@
+#!/bin/bash -e
+
+git-pull -v
+git-update-server-info