diff --git a/docs/deploy.sh b/docs/deploy.sh
index 19d894812c..961f75e634 100644
--- a/docs/deploy.sh
+++ b/docs/deploy.sh
@@ -28,7 +28,7 @@ git add .
 git commit -a -m "Updated HTML docs"
 
 echo "Skipping deployment"
-# git push origin gh-pages
+git push origin gh-pages
 
 # get back to previous branch 
 git checkout -