From: Oliver Schmidt <ol.sc@web.de>
Date: Wed, 5 Feb 2014 17:49:22 +0000 (+0100)
Subject: Maybe rather ignore the git commit status (?)
X-Git-Tag: V2.15~176
X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=46d9b72d7df897a0e5df5fb7a74cc8f1658a35d2;p=cc65

Maybe rather ignore the git commit status (?)
---

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