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