Build the doc when pushing a tag

Erebot · Jan 6, 2019 · fdf00fa · fdf00fa
1 parent f3ab1e2
commit fdf00fa
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -43,6 +43,7 @@ jobs:
       script:
         - git clone --depth=1 --branch=build https://github.com/Erebot/erebot.github.io.git docs/trigger
         - "export TRIGGER_DOC_BUILD=$( (git show --pretty=format: --name-only $TRAVIS_COMMIT | grep -q '^docs/' && echo 1) || echo 0 )"
+        - if [ -n "$TRAVIS_TAG" ]; then export TRIGGER_DOC_BUILD=1; fi
         - if [ $TRAVIS_PULL_REQUEST != "false" ]; then export TRIGGER_DOC_BUILD=0; fi
       deploy:
         provider: pages