1 GH_PAGES = ../../gh-pages
4 git clone --branch=gh-pages https://$(GH_TOKEN)@github.com/oliverschmidt/cc65.git $(GH_PAGES)
5 git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git config user.name "Oliver Schmidt"
6 git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git config user.email "ol.sc@web.de"
7 echo date > $(GH_PAGES)/testfile.txt
8 git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git add -A
9 git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git commit -m "Updated doc from commit $(TRAVIS_COMMIT)."
10 git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git push