1 .PHONY: all doc html gh-pages mostlyclean clean install
7 SGMLS := $(wildcard *.sgml)
9 ../html/coding.html ../html/index.html: \
14 GH_PAGES = ../../gh-pages
20 html: $(addprefix ../html/,$(SGMLS:.sgml=.html) doc.css doc.png)
30 ../html/%.html: %.sgml | ../html
31 @cd ../html && linuxdoc -B html -s=0 -T=$(TOC_LEVEL) -H ../doc/header.html ../doc/$<
33 ../html/doc.%: doc.% | ../html
38 git clone --branch=gh-pages https://$(GH_TOKEN)@github.com/oliverschmidt/cc65.git $(GH_PAGES)
39 git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git config user.name "Oliver Schmidt"
40 git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git config user.email "ol.sc@web.de"
41 git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git config push.default simple
42 $(RM) -r $(GH_PAGES)/doc
44 cp ../html/* $(GH_PAGES)/doc
45 git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git add -A doc
46 -git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git commit -m "Updated doc from commit $(TRAVIS_COMMIT)."
47 git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git push
52 all doc mostlyclean clean install: