The doc now lives in the 'master' branch of the 'doc' project.

diff --git a/Makefile.travis b/Makefile.travis
index 4c0f688f82969396473d7a5d3facdc391a54454a..71811eacbafa30036ae53dff63b7d3c941ea63fc 100644 (file)
--- a/Makefile.travis
+++ b/Makefile.travis
@@ -10,8 +10,8 @@ GH_PATH = ../doc
 
 gh-pages:
 ifdef GH_TOKEN
-       @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/doc.git $(GH_PATH)
+       @echo 'git clone https://$$(GH_TOKEN)@github.com/cc65/doc.git $(GH_PATH)'
+       @git clone 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.email "$(GH_MAIL)"
        cd $(GH_PATH) && git config push.default simple