diff options
Diffstat (limited to 'manual')
| -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 | ||