building and pushing docs

johnh2o2 · Sep 28, 2017 · d30433b · d30433b
1 parent 1ea8ee2
commit d30433b
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/docs/update_ghpages.sh b/docs/update_ghpages.sh
@@ -18,8 +18,8 @@ git checkout master docs/build/html
 mv ./docs/build/html/* ./
 rm -rf ./docs
 git add --all
-git commit -m "publishing updated docs..."
-git push origin gh-pages
+#git commit -m "publishing updated docs..."
+#git push origin gh-pages
 
 # switch back
-git checkout master
+#git checkout master