From 1a4bbecaa640b224ec6197f62debd5999d95109c Mon Sep 17 00:00:00 2001
From: Oliver Schmidt
Date: Thu, 6 Feb 2014 12:44:46 +0100
Subject: [PATCH] Limit 'git add' to doc directory just to be sure.
---
doc/Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/Makefile b/doc/Makefile
index 53ec0cff5..518d3c9c3 100644
--- 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
--
2.39.5