build_docs script

diff --git a/scripts/build_docs.sh b/scripts/build_docs.sh
new file mode 100755 (executable)
index 0000000..1d4f16a
--- /dev/null
+++ b/scripts/build_docs.sh
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+echo "usage: build_docs.sh [port]"
+PORT=4000
+if [ $# -gt 0 ]; then
+    PORT=$1
+fi
+jekyll serve -w -s docs/ -d docs/_site --port $PORT