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

[Eli Zaretskii <eliz@gnu.org>]

> From: Manuel Giraud <manuel@ledu-giraud.fr>
> Cc: emacs-devel@gnu.org
> Date: Tue, 24 Oct 2023 15:43:12 +0200
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> >> >> For ` and ', I think we should take the new behaviour.
> >> >
> >> > What is "the new behavior for ` and '" that you allude to?
> >> 
> >> I meant: do not convert ` (GRAVE ACCENT) to ‘ (LEFT SINGLE QUOTATION
> >> MARK) and do not convert ' (APOSTROPHE) to ’ (RIGHT SINGLE QUOTATION
> >> MARK)
> >
> > AFAICT, the new default behavior does only the second part of this.
> 
> My bad.  From one of the links you post, I understood that it was for
> both curly quotes.  Then I change my vote for the old behaviour
> (i.e. produce LEFT and RIGHT SINGLE QUOTATION MARK) which, at least,
> seems more consistent.

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.

Note that users can always countermand this by saying

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

when they build Emacs.