diff options
-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 @@ # while (<STDIN>) { if(($_ =~ /^([A-Z]+[\S ]+)/) && ($_ !~ /^People/)) { - print "\\Forward{}\~$1\n"; + s/\_/\\\_/g; + print "\\Forward{}\~$_"; } } |