diff options
| -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 46035f5..fc4f40e 100644 --- a/manual/credits.pl +++ b/manual/credits.pl @@ -8,7 +8,7 @@ # while (<STDIN>) { if(($_ =~ /^([A-Z]+[\S ]+)/) && ($_ !~ /^People/)) { - print "\\Forward{} $1\n"; + print "\\Forward{}\~$1\n"; } } |