From fdf00fae0cbd3e28076fcb164bfc2cc83fec736f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Poirotte?= <clicky@erebot.net>
Date: Sun, 6 Jan 2019 18:30:13 +0100
Subject: [PATCH] Build the doc when pushing a tag

---
 .travis.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.travis.yml b/.travis.yml
index 8aea633..b0c09f0 100644
--- 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