diff options
| author | Dominik Riebeling <Dominik.Riebeling@gmail.com> | 2021-08-10 16:13:39 +0200 |
|---|---|---|
| committer | Dominik Riebeling <Dominik.Riebeling@gmail.com> | 2021-08-20 21:17:56 +0200 |
| commit | 247258b9d2421046d0ed5977f8edec9f172f4038 (patch) | |
| tree | 3031911dfe7fd5852000b796ec7be5330d7a9f90 | |
| parent | 356133d321bac6326c6b301bb0e1b3ab54eceb70 (diff) | |
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
| -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{}\~$_"; } |