diff options
Diffstat (limited to 'util/extract-names.pl')
| -rw-r--r-- | util/extract-names.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/extract-names.pl b/util/extract-names.pl index 35bd6ed..0f69335 100644 --- a/util/extract-names.pl +++ b/util/extract-names.pl @@ -2,7 +2,7 @@ $/ = ""; # Eat a paragraph at once. while(<STDIN>) { - chop; + s|\R$||; s/\n/ /gm; if (/^=head1 /) { $name = 0; |