diff options
Diffstat (limited to 'tools/docs/documentation-file-ref-check')
| -rwxr-xr-x | tools/docs/documentation-file-ref-check | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/docs/documentation-file-ref-check b/tools/docs/documentation-file-ref-check index 0cad42f6943b..93b53f3a5567 100755 --- a/tools/docs/documentation-file-ref-check +++ b/tools/docs/documentation-file-ref-check @@ -143,7 +143,7 @@ while (<IN>) { # Check if exists, evaluating wildcards next if (grep -e, glob("$ref $fulref")); - # Accept relative Documentation patches for tools/ + # Accept relative Documentation paths for tools/ if ($f =~ m/tools/) { my $path = $f; $path =~ s,(.*)/.*,$1,; |