[m-rev.] for review: fix generation of debugger documentation on Windows

[Julien Fischer]

On Sat, 13 May 2023, Zoltan Somogyi wrote:

> On 2023-05-13 14:20 +10:00 AEST, "Julien Fischer" <jfischer at opturion.com> wrote:
>> Fix generation of the debugger documentation on Windows.
>
> I never program on windows, but the diff looks good.
>
>> port of awk there does not handle non-ASCII characters and info will sometimes
>> output those.
>
> Do you know whether it does so on its own, or are we giving it input
> that effectively *asks* it to output non-ASCII characters? If the latter,
> we could fix that too.

The input in question is things like the @samp{...} markup in the
texinfo source for the documentation. Such things are output inside
single quotes. Depending on the age of the version of texinfo the
single quoting might be `', '' or the directional quote characters.

(The version of info on my latop -- the Windows machine -- is much newer
than the one installed on the Linux machine I usually use. I suspect
newer versions of info just output the diretional single quotes by
default, since that looks better. I couldn't find anyway of having it
not do this except via the locale.)

Julien.