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

[Alan Mackenzie]

Hello, Eli.

On Thu, Oct 26, 2023 at 11:53:39 +0300, Eli Zaretskii wrote:
> > From: Manuel Giraud <manuel@ledu-giraud.fr>
> > Cc: emacs-devel@gnu.org
> > Date: Tue, 24 Oct 2023 15:43:12 +0200

[ .... ]

> 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.

Please don't do that.  Please instead make it a configurable option,
something like --with-info-unicode-punctuation.

> Note that users can always countermand this by saying

>   make INFO_OPTS='--no-split -c ASCII_DASHES_AND_QUOTES=1'

> when they build Emacs.

"Always" is the word.  This means always editing the Makefile each time
it gets updated by a ./configure, or always having a constant
uncomfortable diff between the repository and one's working copy of
Makefile.in.

In practice, this will mean info will sometimes get built with the
Unicode punctuation, sometimes without.  The curse of this Unicode
punctuation in info will remain.  ;-)

-- 
Alan Mackenzie (Nuremberg, Germany).