add script to serve docs

Tony Crisci · Tony Crisci · commit e0cb3e338112 · 2016-09-24T17:13:26.000-04:00
diff --git a/docs/serve.sh b/docs/serve.sh
@@ -0,0 +1,6 @@
+#!/usr/bin/env bash
+set -e
+
+make html
+cd _build/html
+python3 -m http.server -b 127.0.0.1
