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