6502/cc65
1
0
Fork 0
mirror of https://github.com/cc65/cc65.git synced 2024-06-11 05:29:33 +00:00
Code Issues Projects Releases Wiki Activity

Modified doc generation to target 'doc' repository.

Browse Source
This commit is contained in:
Oliver Schmidt 2014-11-03 21:23:29 +01:00
parent ac12a738bc
commit ebbec9bfb7
1 changed files with 6 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
Makefile.travis
View File

@ -6,19 +6,18 @@ all: gh-pages sf-files
GH_NAME = Oliver Schmidt GH_NAME = Oliver Schmidt
GH_MAIL = ol.sc@web.de GH_MAIL = ol.sc@web.de
GH_PATH = ../gh-pages GH_PATH = ../doc
gh-pages: gh-pages:
ifdef GH_TOKEN ifdef GH_TOKEN
@echo 'git clone --branch=gh-pages https://$$(GH_TOKEN)@github.com/cc65/cc65.git $(GH_PATH)' @echo 'git clone --branch=gh-pages https://$$(GH_TOKEN)@github.com/cc65/doc.git $(GH_PATH)'
@git clone --branch=gh-pages https://$(GH_TOKEN)@github.com/cc65/cc65.git $(GH_PATH) @git clone --branch=gh-pages https://$(GH_TOKEN)@github.com/cc65/doc.git $(GH_PATH)
cd $(GH_PATH) && git config user.name "$(GH_NAME)" cd $(GH_PATH) && git config user.name "$(GH_NAME)"
cd $(GH_PATH) && git config user.email "$(GH_MAIL)" cd $(GH_PATH) && git config user.email "$(GH_MAIL)"
cd $(GH_PATH) && git config push.default simple cd $(GH_PATH) && git config push.default simple
cd $(GH_PATH) && $(RM) -r doc $(RM) $(GH_PATH)/*.*
cd $(GH_PATH) && mkdir doc cp html/*.* $(GH_PATH)
cp html/*.* $(GH_PATH)/doc cd $(GH_PATH) && git add -A
cd $(GH_PATH) && git add -A doc
-cd $(GH_PATH) && git commit -m "Updated from commit $(TRAVIS_COMMIT)." -cd $(GH_PATH) && git commit -m "Updated from commit $(TRAVIS_COMMIT)."
cd $(GH_PATH) && git push cd $(GH_PATH) && git push
endif endif