Re: Loss of search facility in info in newer releases of Texinfo

[Alan Mackenzie]

Hello, Pat.

On Sun, Oct 10, 2021 at 16:17:01 +0200, Patrice Dumas wrote:
> On Sun, Oct 10, 2021 at 10:18:39AM +0000, Alan Mackenzie wrote:
> > I have not yet figured out how to add a new command line option.  I
> > envisage the new option being called --enable-utf8-punctuation, with a
> > default value of ON.

> > So, my question.  Are the maintainers of Texinfo, in principle, willing
> > to accept such an enhancement and to include it in future release
> > versions?

> You can already use --disable-encoding, but it has other consequences
> than keeping the literal ` and '.

Yes.  I want to keep the output in UTF-8, keeping things like people's
names and even Unicode punctuation which was part of the .texi source.

> For simple quoted strings, you should be able to pass

>  -c OPEN_QUOTE_SYMBOL=` -c CLOSE_QUOTE_SYMBOL='

> (with proper shell script quoting) to set the quotes.  Would that be
> enough?

Thanks, I didn't know about these!  But that would still leave the
various forms of double quotes, the EM-DASH, and a few other things
in the Unicode style that I don't like.

What I want is an option which will output all texi2any's punctuation
characters in ASCII, whilst leaving the UTF-8 characters in the .texi
source untouched.

> -- 
> Pat

-- 
Alan Mackenzie (Nuremberg, Germany).