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 e231c71ebc..f636c0cb6c 100644 --- a/manual/credits.pl +++ b/manual/credits.pl @@ -7,7 +7,7 @@ # $Id$ # while (<STDIN>) { - if(($_ =~ /^([A-Z]+[\S ]+)/) && ($_ !~ /^People/)) { + if(($_ =~ /^(\S+[\S ]+)/) && ($_ !~ /^People/)) { s/\_/\\\_/g; print "\\Forward{}\~$_"; } |