Re: [PATCH 2/4] gdb, gdbserver: Add AMX registers.

[Eli Zaretskii <eliz@gnu.org>]

> Date: Mon, 27 Jun 2022 20:15:17 +0100
> Cc: felix.willgerodt@intel.com, gdb-patches@sourceware.org
> From: Pedro Alves <pedro@palves.net>
> 
> Given the manual is written in US English, I wonder why we let locale influence
> sorting order.  I mean, shouldn't we be forcing locale to LANC=C or some such when
> generating the manual, to be sure the sections are always sorted the same way?

Doing this means we cannot include any non-ASCII text in the manual,
ever.  Not even mention names of people whose names include non-ASCII
characters.

Also, I think doing that means the Unicode characters produced by
makeinfo from the likes of @result, @print, @error, etc. will be
replaced by their ASCII equivalents -- do we really want that?

In sum, this would be an unusual thing to do, as GNU manuals go.
There is actually in recent years an urge to produce UTF-8 encoded
manuals, not go back to plain ASCII.

> (At least the html manual sorts the concept index ignoring case for me, and I see
> the same in the docs copy in the gdb website, so I assume that's the order we want.)

The purpose of this convention to let everyone produce a manual with
the same order, regardless of the locale in which the manual is
produced.  That manuals on the site, which are produced in en_US, do
TRT doesn't surprise me at all...

The burden in practice is not too heavy, since only a handful of our
index entries use company names (or any proper names, for that matter).