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{}\~$_";
    }
 }

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 @@
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	s/\_/\\\_/g;
		12	print "\\Forward{}\~$_";
12	}	13	}
13	}	14	}
14		15