2014-03-09 00:20:39 +00:00
|
|
|
.PHONY: all
|
|
|
|
|
|
|
|
|
|
.SUFFIXES:
|
|
|
|
|
|
|
|
|
|
GH_PAGES = ../gh-pages
|
|
|
|
|
|
|
|
|
|
all:
|
|
|
|
|
ifdef GH_TOKEN
|
2014-10-30 21:15:45 +00:00
|
|
|
@echo 'git clone --branch=gh-pages https://$$(GH_TOKEN)@github.com/cc65/cc65.git $(GH_PAGES)'
|
|
|
|
|
@git clone --branch=gh-pages https://$(GH_TOKEN)@github.com/cc65/cc65.git $(GH_PAGES)
|
2014-03-09 00:20:39 +00:00
|
|
|
cd $(GH_PAGES) && git config user.name "Oliver Schmidt"
|
|
|
|
|
cd $(GH_PAGES) && git config user.email "ol.sc@web.de"
|
|
|
|
|
cd $(GH_PAGES) && git config push.default simple
|
2014-10-30 21:15:45 +00:00
|
|
|
cd $(GH_PAGES) && $(RM) -r doc
|
|
|
|
|
cd $(GH_PAGES) && mkdir doc
|
2014-03-09 00:20:39 +00:00
|
|
|
cp html/*.* $(GH_PAGES)/doc
|
2014-10-30 21:15:45 +00:00
|
|
|
cd $(GH_PAGES) && git add -A doc
|
2014-03-09 00:20:39 +00:00
|
|
|
cd $(GH_PAGES) && git commit -m "Updated from commit $(TRAVIS_COMMIT)."
|
2014-10-30 21:43:34 +00:00
|
|
|
-cd $(GH_PAGES) && git push
|
2014-03-09 00:20:39 +00:00
|
|
|
endif
|
