travis: trigger website rebuild on VERSION changes too

Needed to update the stable manual if no DOCS were changed.
This commit is contained in:
Ricardo Constantino 2017-07-19 19:03:08 +01:00
parent 9e124933e5
commit e0739378dd
No known key found for this signature in database
GPG Key ID: EFD16019AE4FF531
1 changed files with 1 additions and 1 deletions

View File

@ -11,7 +11,7 @@ if [ "x$TRAVIS_BRANCH" != "xmaster" ]; then
fi fi
TRAVIS_COMMIT_RANGE=${TRAVIS_COMMIT_RANGE:-HEAD^..} 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; exit;
fi fi