diff --git a/scripts/documentation-file-ref-check b/scripts/documentation-file-ref-check index a4139a5767265785fd54ec2f1de65f68c7a70cc1..7784c54aa38b4e6e9ab0b7c2f9dcf33f346f0935 100755 --- a/scripts/documentation-file-ref-check +++ b/scripts/documentation-file-ref-check @@ -90,6 +90,9 @@ while (<IN>) { # Skip this script next if ($f eq $scriptname); + # Ignore the dir where documentation will be built + next if ($ln =~ m,\b(\S*)Documentation/output,); + if ($ln =~ m,\b(\S*)(Documentation/[A-Za-z0-9\_\.\,\~/\*\[\]\?+-]*)(.*),) { my $prefix = $1; my $ref = $2;