Test --allow-empty flag.

diff --git a/doc/Makefile b/doc/Makefile
index 9ca213a6c415acf1ea80762f3275a37579d7f369..a600f375c1a259363f9b71e92b315b752bcf55f2 100644 (file)
--- 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