diff --git a/docs/Makefile b/docs/Makefile
index 219e56c1c7..188de8c633 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -115,6 +115,6 @@ deploy:
 # build and prepare the docs for release
 release:
 	make mv-local
-	# make _mv-deploy
+	make _mv-deploy
 	@echo ""
 	@echo "Deployment complete."
diff --git a/docs/deploy.sh b/docs/deploy.sh
index 05712c8111..cea9c56a2c 100644
--- a/docs/deploy.sh
+++ b/docs/deploy.sh
@@ -17,7 +17,8 @@ mv build/html/versions .
 git add versions
 
 git commit -a -m "Updated HTML docs"
-git push origin gh-pages
+echo "Skipping deployment"
+# git push origin gh-pages
 
 # get back to previous branch