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