1 .PHONY: all html gh-pages
7 html: $(addprefix ../html/,$(subst .sgml,.html,$(wildcard *.sgml)))
12 ../html/%.html: %.sgml | ../html
13 linuxdoc -B html --split=0 --toc=2 $<
16 ../html/coding.html: coding.sgml | ../html
17 linuxdoc -B html --split=0 $<
20 ../html/index.html: index.sgml | ../html
21 linuxdoc -B html --split=0 $<
24 GH_PAGES = ../../gh-pages
27 git clone --branch=gh-pages https://$(GH_TOKEN)@github.com/oliverschmidt/cc65.git $(GH_PAGES)
28 git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git config user.name "Oliver Schmidt"
29 git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git config user.email "ol.sc@web.de"
30 rm -rf $(GH_PAGES)/test
31 mkdir $(GH_PAGES)/test
32 cp -R ../html/* $(GH_PAGES)/test
33 git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git add -A
34 git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git commit -m "Updated doc from commit $(TRAVIS_COMMIT)."
35 git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git push