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

On Sun, Oct 10, 2021 at 10:18:39AM +0000, Alan Mackenzie wrote:
> Hello, Jacob.
> 
> 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 '.

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?

-- 
Pat