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

[Zoltan Somogyi]

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.

Zoltan.