From ebbec9bfb7b422b58353b872c36d12af2f931a88 Mon Sep 17 00:00:00 2001 From: Oliver Schmidt Date: Mon, 3 Nov 2014 21:23:29 +0100 Subject: [PATCH] Modified doc generation to target 'doc' repository. --- Makefile.travis | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) diff --git a/Makefile.travis b/Makefile.travis index 6f83e2439..9deba227c 100644 --- a/Makefile.travis +++ b/Makefile.travis @@ -6,19 +6,18 @@ all: gh-pages sf-files GH_NAME = Oliver Schmidt GH_MAIL = ol.sc@web.de -GH_PATH = ../gh-pages +GH_PATH = ../doc gh-pages: ifdef GH_TOKEN - @echo 'git clone --branch=gh-pages https://$$(GH_TOKEN)@github.com/cc65/cc65.git $(GH_PATH)' - @git clone --branch=gh-pages https://$(GH_TOKEN)@github.com/cc65/cc65.git $(GH_PATH) + @echo 'git clone --branch=gh-pages https://$$(GH_TOKEN)@github.com/cc65/doc.git $(GH_PATH)' + @git clone --branch=gh-pages https://$(GH_TOKEN)@github.com/cc65/doc.git $(GH_PATH) cd $(GH_PATH) && git config user.name "$(GH_NAME)" cd $(GH_PATH) && git config user.email "$(GH_MAIL)" cd $(GH_PATH) && git config push.default simple - cd $(GH_PATH) && $(RM) -r doc - cd $(GH_PATH) && mkdir doc - cp html/*.* $(GH_PATH)/doc - cd $(GH_PATH) && git add -A doc + $(RM) $(GH_PATH)/*.* + cp html/*.* $(GH_PATH) + cd $(GH_PATH) && git add -A -cd $(GH_PATH) && git commit -m "Updated from commit $(TRAVIS_COMMIT)." cd $(GH_PATH) && git push endif