From a79a1469fefa334b32f924455c859baccfd1e573 Mon Sep 17 00:00:00 2001
From: Oliver Schmidt
Date: Wed, 5 Feb 2014 18:40:03 +0100
Subject: [PATCH] Test --allow-empty flag.
---
doc/Makefile | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/doc/Makefile b/doc/Makefile
index 9ca213a6c..a600f375c 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -30,6 +30,6 @@ gh-pages: html
rm -rf $(GH_PAGES)/test
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 -m "Updated doc from commit $(TRAVIS_COMMIT)."
+ 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 push
--
2.39.5