From 99ecbc60f87c61cd237f707c76b0822615a5721a Mon Sep 17 00:00:00 2001 From: Oliver Schmidt Date: Thu, 6 Feb 2014 12:54:53 +0100 Subject: [PATCH] Actually the '-R' flag isn't necessary. --- doc/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/Makefile b/doc/Makefile index 518d3c9c3..eb9d82541 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -38,7 +38,7 @@ ifdef GH_TOKEN git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git config user.email "ol.sc@web.de" $(RM) -r $(GH_PAGES)/doc mkdir $(GH_PAGES)/doc - cp -R ../html/* $(GH_PAGES)/doc + cp ../html/* $(GH_PAGES)/doc 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 -- 2.39.5