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

[cc65] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 189fa60ee8b54fc14d9d4c8c33b5bba1789e4564..159c300210a95c6591d88f8b7928ea51b10ebc19 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,8 +1,18 @@
-.PHONY: all doc html info gh-pages mostlyclean clean install
+ifneq ($(shell echo),)
+  CMD_EXE = 1
+endif
+
+.PHONY: all mostlyclean clean install zip doc html info gh-pages
 
 .SUFFIXES:
 
-ifeq ($(shell echo),)
+all mostlyclean install:
+
+ifdef CMD_EXE
+
+clean zip doc:
+
+else # CMD_EXE
 
 SGMLS := $(wildcard *.sgml)
 
@@ -11,9 +21,11 @@ TOC_LEVEL = 0
 
 TOC_LEVEL = 2
 
-GH_PAGES = ../../gh-pages
+clean:
+       $(RM) -r ../html ../info
 
-all:
+zip:
+       @cd .. && zip cc65 html/*.*
 
 doc: html info
 
@@ -21,11 +33,6 @@ html: $(addprefix ../html/,$(SGMLS:.sgml=.html) doc.css doc.png)
 
 info: $(addprefix ../info/,$(SGMLS:.sgml=.info))
 
-mostlyclean:
-
-clean:
-       $(RM) -r ../html ../info
-
 ../html ../info:
        @mkdir $@
 
@@ -38,22 +45,4 @@ clean:
 ../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
-
-else # cmd.exe
-
-all doc mostlyclean clean install:
-
-endif # cmd.exe
+endif # CMD_EXE