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

[Eli Zaretskii]

> Date: Thu, 26 Oct 2023 10:55:13 +0000
> Cc: emacs-devel@gnu.org
> From: Alan Mackenzie <acm@muc.de>
> 
> > > >   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.
> 
> YUCK!  So after each make bootstrap, one will additionally have to go
> through all the documentation directories, whether by hand or by script,
> and redo the building of the info by a clumsy command line.

No, you say "make bootstrap INFO_OPTS='--no-split -c ASCII_DASHES_AND_QUOTES=1'.

> Again, how much work would it be to add such a configuration option?

More than zero, obviously.