From 9340d1ffa720ae1cda82fd59d15ba6fb6938db4e Mon Sep 17 00:00:00 2001
From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 5 Feb 2014 14:45:07 -0800
Subject: [PATCH] Meta/Dothem: no need to retest if only documentation changed

---
 Dothem | 12 ++++--------
 1 file changed, 4 insertions(+), 8 deletions(-)

diff --git a/Dothem b/Dothem
index b0efcaa042..c98e8bff4d 100755
--- a/Dothem
+++ b/Dothem
@@ -148,6 +148,10 @@ do
 			then
 				skip_test=1
 				skip_doc=1
+			elif git diff --quiet "$vtree" "$rtree" -- . \
+			    ':!GIT-VERSION-GEN' ':!Documentation/'
+			then
+				skip_test=1
 			fi
 			dvtree=$(git rev-parse --verify "$version:Documentation/")
 			drtree=$(git rev-parse --verify "$revision:Documentation/")
@@ -155,14 +159,6 @@ do
 			then
 				skip_doc=1
 			fi
-			case "$branch, $branches " in
-			jch,*' next '*)
-				if git diff --quiet --exit-code jch next
-				then
-					skip_test=1
-				fi
-				;;
-			esac
 			;;
 		esac
 
-- 
2.11.4.GIT