From: Oliver Schmidt <ol.sc@web.de>
Date: Wed, 5 Feb 2014 22:20:03 +0000 (+0100)
Subject: The gh-pages push seems ready for prime time.
X-Git-Tag: V2.15~170
X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=3394033d8687004039ef14d74d4eb253922df5ae;p=cc65

The gh-pages push seems ready for prime time.
---

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