diff options
Diffstat (limited to 'source/script/find_missing_doc.pl')
| -rwxr-xr-x | source/script/find_missing_doc.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/script/find_missing_doc.pl b/source/script/find_missing_doc.pl index 4d22e20a29d..89385baaa2c 100755 --- a/source/script/find_missing_doc.pl +++ b/source/script/find_missing_doc.pl @@ -39,5 +39,5 @@ foreach $ln (grep (/\<anchor\ id\=/, @doclines)) { } foreach (keys %params) { - print "$_\n" if $params{$_} eq 'not_found'; + print "$_\n" if $params{$_} eq 'not_found' and $_ cmp "valid" and $_ eq ""; } |