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 46035f50f6..fc4f40e229 100644 --- a/manual/credits.pl +++ b/manual/credits.pl | |||
@@ -8,7 +8,7 @@ | |||
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 | print "\\Forward{}\~$1\n"; |
12 | } | 12 | } |
13 | } | 13 | } |
14 | 14 | ||