Ignore return value of commit (not push).

diff --git a/Makefile.gh-pages b/Makefile.gh-pages
index d9d1c116525e65001327cddf6bc0f1c29e89ccd2..10ee4583b15a5e6ed4da33ed4e370e82046779f8 100644 (file)
--- a/Makefile.gh-pages
+++ b/Makefile.gh-pages
@@ -15,6 +15,6 @@ ifdef GH_TOKEN
        cd $(GH_PAGES) && mkdir doc
        cp html/*.* $(GH_PAGES)/doc
        cd $(GH_PAGES) && git add -A doc
-       cd $(GH_PAGES) && git commit -m "Updated from commit $(TRAVIS_COMMIT)."
-       -cd $(GH_PAGES) && git push
+       -cd $(GH_PAGES) && git commit -m "Updated from commit $(TRAVIS_COMMIT)."
+       cd $(GH_PAGES) && git push
 endif