From 3394033d8687004039ef14d74d4eb253922df5ae Mon Sep 17 00:00:00 2001 From: Oliver Schmidt Date: Wed, 5 Feb 2014 23:20:03 +0100 Subject: [PATCH] The gh-pages push seems ready for prime time. --- doc/Makefile | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/doc/Makefile b/doc/Makefile index 3e3cc5b7e..53ec0cff5 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -17,28 +17,28 @@ all: doc: html +html: $(addprefix ../html/,$(SGMLS:.sgml=.html)) + mostlyclean: clean: $(RM) -r ../html -html: $(addprefix ../html/,$(SGMLS:.sgml=.html)) - ../html: - mkdir $@ + @mkdir $@ ../html/%.html: %.sgml | ../html - linuxdoc -B html --split=0 --toc=$(TOC_LEVEL) $< - mv $(@F) ../html + @linuxdoc -B html --split=0 --toc=$(TOC_LEVEL) $< + @mv $(@F) ../html gh-pages: html ifdef GH_TOKEN git clone --branch=gh-pages https://$(GH_TOKEN)@github.com/oliverschmidt/cc65.git $(GH_PAGES) git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git config user.name "Oliver Schmidt" git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git config user.email "ol.sc@web.de" - $(RM) -r $(GH_PAGES)/test - mkdir $(GH_PAGES)/test - cp -R ../html/* $(GH_PAGES)/test + $(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 commit -m "Updated doc from commit $(TRAVIS_COMMIT)." git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git push