Merge remote-tracking branch 'upstream/master' into a5200

[cc65] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 02028e66eb25d351c020b4cb6faf9832cff5b036..159c300210a95c6591d88f8b7928ea51b10ebc19 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -2,7 +2,7 @@ ifneq ($(shell echo),)
   CMD_EXE = 1
 endif
 
-.PHONY: all mostlyclean clean install doc html info gh-pages
+.PHONY: all mostlyclean clean install zip doc html info gh-pages
 
 .SUFFIXES:
 
@@ -10,7 +10,7 @@ all mostlyclean install:
 
 ifdef CMD_EXE
 
-clean doc:
+clean zip doc:
 
 else # CMD_EXE
 
@@ -21,11 +21,12 @@ TOC_LEVEL = 0
 
 TOC_LEVEL = 2
 
-GH_PAGES = ../../gh-pages
-
 clean:
        $(RM) -r ../html ../info
 
+zip:
+       @cd .. && zip cc65 html/*.*
+
 doc: html info
 
 html: $(addprefix ../html/,$(SGMLS:.sgml=.html) doc.css doc.png)
@@ -44,18 +45,4 @@ info: $(addprefix ../info/,$(SGMLS:.sgml=.info))
 ../info/%.info: %.sgml | ../info
        @cd ../info && linuxdoc -B info ../doc/$<
 
-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"
-       git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git config push.default simple
-       $(RM) -r $(GH_PAGES)/doc
-       mkdir $(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
-endif
-
 endif # CMD_EXE