From e0739378ddc15af9cdab94ddfb4035ba52756b7d Mon Sep 17 00:00:00 2001 From: Ricardo Constantino Date: Wed, 19 Jul 2017 19:03:08 +0100 Subject: travis: trigger website rebuild on VERSION changes too Needed to update the stable manual if no DOCS were changed. --- TOOLS/travis-rebuild-website | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'TOOLS/travis-rebuild-website') diff --git a/TOOLS/travis-rebuild-website b/TOOLS/travis-rebuild-website index 02bf2c2564..61548cefbd 100755 --- a/TOOLS/travis-rebuild-website +++ b/TOOLS/travis-rebuild-website @@ -11,7 +11,7 @@ if [ "x$TRAVIS_BRANCH" != "xmaster" ]; then fi TRAVIS_COMMIT_RANGE=${TRAVIS_COMMIT_RANGE:-HEAD^..} -if git diff --quiet --name-only --exit-code "$TRAVIS_COMMIT_RANGE" DOCS/; then +if git diff --quiet --name-only --exit-code "$TRAVIS_COMMIT_RANGE" DOCS/ VERSION; then exit; fi -- cgit v1.2.3