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

[Eli Zaretskii]

> From: Ulrich Mueller <ulm@gentoo.org>
> Cc: emacs-devel@gnu.org
> Date: Thu, 26 Oct 2023 11:54:15 +0200
> 
> >>>>> 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?

I didn't yet decide the majority wants that.  That's why I'm
soliciting more opinions.

But that shouldn't preclude anyone from taking this up with the
Texinfo maintainers without waiting for the results of this poll, of
course.