- sudo apt-get install linuxdoc-tools
script:
- make
+ - make -C doc gh-pages
env:
global:
- secure: "h+hoQdEHGPLNwaqGKmSaM8NBRDLc2X+W05VsnNG2Feq/wPv/AiBjONNlzN7jRf6D6f3aoPXaQ2Lc3bYWdxGvFRCmwiofdxkJI9n5L8HPHLZ2lf37MQsXmGJzoTFOvjPLj73H6HlbI9Ux0El3zO6hvalxiXj6TfoZ41dbhNyvpYk="
--- /dev/null
+gh-pages:
+ git clone --branch=gh-pages https://${GH_TOKEN}@github.com/oliverschmidt/cc65.git ../gh-pages
+ cd ../gh-pages
+ git config user.name "Oliver Schmidt"
+ git config user.email "ol.sc@web.de"
+ echo date > testfile.txt
+ git add -A
+ git commit -m "Updated doc from commit $(TRAVIS_COMMIT)."
+ git push