summaryrefslogtreecommitdiffstats
path: root/TOOLS/travis-rebuild-website
diff options
context:
space:
mode:
authorRicardo Constantino <wiiaboo@gmail.com>2017-07-19 19:03:08 +0100
committerRicardo Constantino <wiiaboo@gmail.com>2017-07-19 19:03:08 +0100
commite0739378ddc15af9cdab94ddfb4035ba52756b7d (patch)
tree314e0000660818d136ed97695c37efaffb93a3d5 /TOOLS/travis-rebuild-website
parent9e124933e55f86992b1079aa6c1985bbe6721a28 (diff)
downloadmpv-e0739378ddc15af9cdab94ddfb4035ba52756b7d.tar.bz2
mpv-e0739378ddc15af9cdab94ddfb4035ba52756b7d.tar.xz
travis: trigger website rebuild on VERSION changes too
Needed to update the stable manual if no DOCS were changed.
Diffstat (limited to 'TOOLS/travis-rebuild-website')
-rwxr-xr-xTOOLS/travis-rebuild-website2
1 files changed, 1 insertions, 1 deletions
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