diff --git a/tools/deploy_docs.sh b/tools/deploy_docs.sh
index a1d280c8..d36aa439 100644
--- a/tools/deploy_docs.sh
+++ b/tools/deploy_docs.sh
@@ -17,7 +17,7 @@ then
 
     git add dev
     git commit -m "Deployed to GitHub Pages"
-    git push --force --quiet "https://${GHTOKEN}@${GH_REF}" master:gh-pages > /dev/null 2>&1
+    git push --force --quiet "https://${GHTOKEN}@${GH_REF}" gh-pages > /dev/null 2>&1
     )
 else
     echo "-- will only push docs from master --"