travis: Ignore doc changes when building a PR

Fixes #1441

1 files changed, 7 insertions, 0 deletions

diff --git a/scripts/dev/check_doc_changes.py b/scripts/dev/check_doc_changes.py
index 85991cc08..d072bfb65 100755
--- a/scripts/dev/check_doc_changes.py
+++ b/scripts/dev/check_doc_changes.py
@@ -22,8 +22,15 @@
 
 import sys
 import subprocess
+import os
 
 code = subprocess.call(['git', '--no-pager', 'diff', '--exit-code', '--stat'])
+
+if os.environ.get('TRAVIS_PULL_REQUEST', 'false') != 'false':
+    if code != 0:
+        print("Docs changed but ignoring change as we're building a PR")
+    sys.exit(0)
+
 if code != 0:
     print()
     print('The autogenerated docs changed, please run this to update them:')