MAINT Add script to build and deploy docs.

alexteiga · Jul 15, 2016 · 9b7f04f · 9b7f04f
1 parent 105af73
commit 9b7f04f
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/build_and_deploy_docs.sh b/build_and_deploy_docs.sh
@@ -0,0 +1,4 @@
+pushd docs
+make html
+ghp-import -n -p build/html/
+popd