diff --git a/doc/push_github b/doc/push_github index 4f28588b..1be77529 100755 --- a/doc/push_github +++ b/doc/push_github @@ -32,6 +32,6 @@ echo "*** Press enter to continue." read git commit -m "Update docs." -git push origin +git push origin gh-pages git co $branch