From 247258b9d2421046d0ed5977f8edec9f172f4038 Mon Sep 17 00:00:00 2001
From: Dominik Riebeling <Dominik.Riebeling@gmail.com>
Date: Tue, 10 Aug 2021 16:13:39 +0200
Subject: [PATCH] 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
---
 manual/credits.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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