1
0
mirror of https://github.com/cc65/cc65.git synced 2025-01-06 22:31:52 +00:00

Some polishing.

This commit is contained in:
Oliver Schmidt 2014-02-05 20:55:17 +01:00
parent 46d9b72d7d
commit 5dd5f7cd1b

View File

@ -1,35 +1,46 @@
.PHONY: all html gh-pages
.PHONY: all doc html gh-pages mostlyclean clean install
.SUFFIXES:
all: html
ifeq ($(shell echo),)
html: $(addprefix ../html/,$(subst .sgml,.html,$(wildcard *.sgml)))
SGMLS := $(wildcard *.sgml)
GH_PAGES = ../../gh-pages
all:
doc: html
mostlyclean:
clean:
$(RM) -r ../html
html: $(addprefix ../html/,$(SGMLS:.sgml=.html))
../html:
mkdir $@
../html/%.html: %.sgml | ../html
linuxdoc -B html --split=0 --toc=2 $<
mv *.html $(@D)
../html/coding.html: coding.sgml | ../html
linuxdoc -B html --split=0 $<
mv *.html $(@D)
../html/index.html: index.sgml | ../html
linuxdoc -B html --split=0 $<
mv *.html $(@D)
GH_PAGES = ../../gh-pages
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 -rf $(GH_PAGES)/test
$(RM) -r $(GH_PAGES)/test
mkdir $(GH_PAGES)/test
cp -R ../html/* $(GH_PAGES)/test
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
endif
else # cmd.exe
all doc mostlyclean clean install:
endif # cmd.exe