diff options
| -rwxr-xr-x | doc/make-authors-short.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/make-authors-short.pl b/doc/make-authors-short.pl index 14fdd503ac..df0a335ccf 100755 --- a/doc/make-authors-short.pl +++ b/doc/make-authors-short.pl @@ -39,7 +39,7 @@ while (<>) { } elsif (/\}/) { $subinfo = 0; if (($nextline = <>) !~ /^[\s]*$/) { - print STDERR "Missing newline after '}', found: $nextline" + print STDERR "No blank line after '}', found: $nextline" if $nextline =~ m/\{/; print $nextline; } |