manual: Don't expect first char of name in CREDITS to be ASCII.

Fixes some names not showing in the manual.

Note that there's one name left not showing due to LaTeX unicode support
missing the characters.

Change-Id: I9f1d0d3d49b485be54c83486a23cf97c82d257c8
This commit is contained in:
Dominik Riebeling 2021-08-10 16:13:39 +02:00
parent 356133d321
commit 247258b9d2

View file

@ -7,7 +7,7 @@
# $Id$
#
while (<STDIN>) {
if(($_ =~ /^([A-Z]+[\S ]+)/) && ($_ !~ /^People/)) {
if(($_ =~ /^(\S+[\S ]+)/) && ($_ !~ /^People/)) {
s/\_/\\\_/g;
print "\\Forward{}\~$_";
}