diff options
Diffstat (limited to 'util/find-doc-nits')
| -rwxr-xr-x | util/find-doc-nits | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/util/find-doc-nits b/util/find-doc-nits index 34eb514a1f..91e232376e 100755 --- a/util/find-doc-nits +++ b/util/find-doc-nits @@ -727,14 +727,13 @@ sub collectnames { map { s/^\s+//g; s/\s+$//g; $_ } # Trim prefix and suffix blanks split(/,/, $tmp); unless ( grep { $simplename eq $_ } @names ) { - err($id, "missing $simplename"); + err($id, "$simplename not in NAME section"); push @names, $simplename; } foreach my $name (@names) { next if $name eq ""; - if ( $name =~ /\s/ ) { - err($id, "'$name' contains white space") - } + err($id, "'$name' contains white space") + if $name =~ /\s/; my $name_sec = "$name($section)"; if ( !exists $name_map{$name_sec} ) { $name_map{$name_sec} = $filename; |