From 46d9b72d7df897a0e5df5fb7a74cc8f1658a35d2 Mon Sep 17 00:00:00 2001 From: Oliver Schmidt Date: Wed, 5 Feb 2014 18:49:22 +0100 Subject: [PATCH] Maybe rather ignore the git commit status (?) --- doc/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/Makefile b/doc/Makefile index a600f375c..7fb0155f6 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -31,5 +31,5 @@ gh-pages: html mkdir $(GH_PAGES)/test cp -R ../html/* $(GH_PAGES)/test git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git add -A . - git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git commit --allow-empty -m "Updated doc from commit $(TRAVIS_COMMIT)." + -git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git commit -m "Updated doc from commit $(TRAVIS_COMMIT)." git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git push