bring back the automatic wiki update

closes #5900
This commit is contained in:
Matthias Mailänder
2014-08-09 14:12:35 +02:00
parent 381505cd19
commit 32be7df07c
2 changed files with 11 additions and 6 deletions

View File

@@ -17,6 +17,10 @@ script:
- make all
- make test
# Automatically update the trait documentation and Lua API
after_success:
- test $TRAVIS_PULL_REQUEST == "false" && test $TRAVIS_BRANCH == "master" && make docs && cd packaging && ./update-wiki.sh
# Only watch the development branch and tagged release.
branches:
only: