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 /manual/credits.pl | |
| parent | 356133d321bac6326c6b301bb0e1b3ab54eceb70 (diff) | |
| download | rockbox-247258b9d2421046d0ed5977f8edec9f172f4038.tar.gz rockbox-247258b9d2421046d0ed5977f8edec9f172f4038.zip | |
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
Diffstat (limited to 'manual/credits.pl')
| -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 @@ | |||
| 7 | # $Id$ | 7 | # $Id$ |
| 8 | # | 8 | # |
| 9 | while (<STDIN>) { | 9 | while (<STDIN>) { |
| 10 | if(($_ =~ /^([A-Z]+[\S ]+)/) && ($_ !~ /^People/)) { | 10 | if(($_ =~ /^(\S+[\S ]+)/) && ($_ !~ /^People/)) { |
| 11 | s/\_/\\\_/g; | 11 | s/\_/\\\_/g; |
| 12 | print "\\Forward{}\~$_"; | 12 | print "\\Forward{}\~$_"; |
| 13 | } | 13 | } |