Meta/Dothem: no need to retest if only documentation changed

diff --git a/Dothem b/Dothem
index b0efcaa042e0ebc7768289cceea4fd450149523f..c98e8bff4db16c2a91d78cc5415fb6edfa5cc614 100755 (executable)
--- 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