diff options
Diffstat (limited to 'manual/credits.pl')
-rw-r--r-- | manual/credits.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/credits.pl b/manual/credits.pl index e231c71ebc..f636c0cb6c 100644 --- a/manual/credits.pl +++ b/manual/credits.pl | |||
@@ -7,7 +7,7 @@ | |||
7 | # $Id$ | 7 | # $Id$ |
8 | # | 8 | # |
9 | while (<STDIN>) { | 9 | while (<STDIN>) { |
10 | if(($_ =~ /^([A-Z]+[\S ]+)/) && ($_ !~ /^People/)) { | 10 | if(($_ =~ /^(\S+[\S ]+)/) && ($_ !~ /^People/)) { |
11 | s/\_/\\\_/g; | 11 | s/\_/\\\_/g; |
12 | print "\\Forward{}\~$_"; | 12 | print "\\Forward{}\~$_"; |
13 | } | 13 | } |