From c0203692faf2a42ff1024be81d0cf7167f5c6162 Mon Sep 17 00:00:00 2001
From: Xavier Fernandez <xavier.fernandez@polyconseil.fr>
Date: Thu, 18 Jul 2019 12:12:32 +0200
Subject: [PATCH] travis: keep lint jobs for docs-only changes

---
 tools/travis/run.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tools/travis/run.sh b/tools/travis/run.sh
index 72a121c6d..2e418d699 100755
--- a/tools/travis/run.sh
+++ b/tools/travis/run.sh
@@ -2,7 +2,8 @@
 set -e
 
 # Short circuit tests and linting jobs if there are no code changes involved.
-if [[ $TOXENV != docs ]]; then
+if [[ $TOXENV != docs ]] && [[ $TOXENV != lint-py2 ]] && [[ $TOXENV != lint-py3 ]]; then
+    # Keep lint-py2 & lint-py3 for docs/conf.py
     if [[ "$TRAVIS_PULL_REQUEST" == "false" ]]
     then
         echo "This is not a PR -- will do a complete build."