diff options
-rwxr-xr-x | scripts/documentation-file-ref-check | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/scripts/documentation-file-ref-check b/scripts/documentation-file-ref-check index 047f463cdf4b..078999a3fdff 100755 --- a/scripts/documentation-file-ref-check +++ b/scripts/documentation-file-ref-check | |||
@@ -78,6 +78,13 @@ while (<IN>) { | |||
78 | # Check if exists, evaluating wildcards | 78 | # Check if exists, evaluating wildcards |
79 | next if (grep -e, glob("$ref $fulref")); | 79 | next if (grep -e, glob("$ref $fulref")); |
80 | 80 | ||
81 | # Accept relative Documentation patches for tools/ | ||
82 | if ($f =~ m/tools/) { | ||
83 | my $path = $f; | ||
84 | $path =~ s,(.*)/.*,$1,; | ||
85 | next if (grep -e, glob("$path/$ref $path/$fulref")); | ||
86 | } | ||
87 | |||
81 | if ($fix) { | 88 | if ($fix) { |
82 | if (!($ref =~ m/(scripts|Kconfig|Kbuild)/)) { | 89 | if (!($ref =~ m/(scripts|Kconfig|Kbuild)/)) { |
83 | $broken_ref{$ref}++; | 90 | $broken_ref{$ref}++; |