Re: Non-ASCII characters in Info files produced by Texinfo 7.1

[Ulrich Mueller]

>>>>> On Thu, 26 Oct 2023, Eli Zaretskii wrote:

> Are there any other opinions?  For now, the opinions are 5:3 in favor
> of keeping the pre-7.1 behavior of producing Unicode characters,
> i.e. in favor of adding "-c ASCII_DASHES_AND_QUOTES=0" to our makeinfo
> options.  If no other opinions will emerge within a few days that
> change this picture, I will add that switch to our Makefile's.

If most people think that the old behaviour is preferable, maybe also
ask the texinfo maintainers to change their default?

IMHO it doesn't make much sense if different parts of the GNU system
disagree from each other.