Limit 'git add' to doc directory just to be sure.

diff --git a/doc/Makefile b/doc/Makefile
index 53ec0cff5367ab6d721cb3c97a46d915f43feeaf..518d3c9c3dc5897e300d2ecead2100a5e1c82886 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -39,7 +39,7 @@ ifdef GH_TOKEN
        $(RM) -r $(GH_PAGES)/doc
        mkdir $(GH_PAGES)/doc
        cp -R ../html/* $(GH_PAGES)/doc
-       git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git add -A .
+       git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git add -A doc
        -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
 endif