diff options
Diffstat (limited to 'make-authors-short.pl')
-rwxr-xr-x | make-authors-short.pl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/make-authors-short.pl b/make-authors-short.pl index 51fd6fc0c9..7244ad7d85 100755 --- a/make-authors-short.pl +++ b/make-authors-short.pl @@ -16,12 +16,13 @@ while (<>) { print "$1\n"; } elsif (/}/) { $subinfo = 0; - if (($nextline = <>) !~ /^[\s\r]*$/) { + if (($nextline = <>) !~ /^[\s]*$/) { print $nextline; } } elsif ($subinfo == 1) { next; } else { + s/^$/ /; # Make it a verbatim paragraph print; } } |