summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--manual/credits.pl3
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{}\~$_";
}
}