diff --git a/scripts/documentation-file-ref-check b/scripts/documentation-file-ref-check
index 05235775cc7116f27b6cfac13bf26d18e0c30550..5d775ca7469b2dcae8ba108d79e4d40066466f0e 100755
--- a/scripts/documentation-file-ref-check
+++ b/scripts/documentation-file-ref-check
@@ -127,7 +127,7 @@ while (<IN>) {
 		if ($f =~ m/tools/) {
 			my $path = $f;
 			$path =~ s,(.*)/.*,$1,;
-			next if (grep -e, glob("$path/$ref $path/$fulref"));
+			next if (grep -e, glob("$path/$ref $path/../$ref $path/$fulref"));
 		}
 
 		# Discard known false-positives