diff --git a/docs/deploy.sh b/docs/deploy.sh index 61bec80c78..3799ee2bc7 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" +# echo "Skipping deployment" git push origin gh-pages # get back to previous branch