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

2021-10-10 Thread 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 +, 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

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

2021-10-10 Thread Patrice Dumas
On Sun, Oct 10, 2021 at 10:18:39AM +, 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

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

2021-10-10 Thread Alan Mackenzie
Hello, Jacob. On Sat, Oct 09, 2021 at 21:50:08 -0500, Jacob Bachmeyer wrote: > Eli Zaretskii wrote: > >> Date: Sat, 9 Oct 2021 15:43:14 + > >> From: Alan Mackenzie > >> C-s ` f o o ' > >> .. > >> This no longer works for me in current Texinfo because what used to be > >> ASCII

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

2021-10-10 Thread Eli Zaretskii
> Date: Sat, 09 Oct 2021 21:50:08 -0500 > From: Jacob Bachmeyer > CC: Alan Mackenzie , help-texinfo@gnu.org > > From my viewpoint, it seems that Alan wants some kind of equivalence > table, such that ASCII backtick and single quote will match the Unicode > curly quotes when typed into an