add regenerate_github_static_files.sh

regenerate_github_static_files.sh

@@ -0,0 +1,16 @@
+#!/bin/bash
+
+set -e
+
+if [[ `git symbolic-ref HEAD` != "refs/heads/gh-pages" ]]; then
+    echo "$0: cowardly refusing to commit generated docs on a branch other than gh-pages"
+    exit 1
+fi
+
+set -o verbose
+
+git merge master
+sphinx-build -b singlehtml docs .
+git add --all
+git commit -m 'generate'
+