DOC Add script to build and deploy docs.

twiecki · twiecki · commit 6966e8d0c87c · 2017-09-12T12:38:39.000+02:00
diff --git a/build_and_deploy_docs.sh b/build_and_deploy_docs.sh
@@ -0,0 +1,6 @@
+#!/bin/sh
+
+pushd docs/source
+make html
+ghp-import -c docs.pymc.io -n -p _build/html/
+popd
