diff options
Diffstat (limited to 'scripts/documentation-file-ref-check')
-rwxr-xr-x | scripts/documentation-file-ref-check | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/documentation-file-ref-check b/scripts/documentation-file-ref-check index a4139a576726..7784c54aa38b 100755 --- a/scripts/documentation-file-ref-check +++ b/scripts/documentation-file-ref-check | |||
@@ -90,6 +90,9 @@ while (<IN>) { | |||
90 | # Skip this script | 90 | # Skip this script |
91 | next if ($f eq $scriptname); | 91 | next if ($f eq $scriptname); |
92 | 92 | ||
93 | # Ignore the dir where documentation will be built | ||
94 | next if ($ln =~ m,\b(\S*)Documentation/output,); | ||
95 | |||
93 | if ($ln =~ m,\b(\S*)(Documentation/[A-Za-z0-9\_\.\,\~/\*\[\]\?+-]*)(.*),) { | 96 | if ($ln =~ m,\b(\S*)(Documentation/[A-Za-z0-9\_\.\,\~/\*\[\]\?+-]*)(.*),) { |
94 | my $prefix = $1; | 97 | my $prefix = $1; |
95 | my $ref = $2; | 98 | my $ref = $2; |