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

[Eli Zaretskii]

> Date: Thu, 26 Oct 2023 09:43:37 +0000
> Cc: emacs-devel@gnu.org
> From: Alan Mackenzie <acm@muc.de>
> 
> > 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.

When there's a 2:1 ratio in favor of the change, making a
configure-time option for it sounds like a lot of work without
justification.

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

No, I meant type the above from the command line.  No need to edit
anything.