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

Hello, Gavin.

On Mon, Feb 27, 2023 at 19:10:34 +0000, Gavin Smith wrote:
> On Tue, Oct 19, 2021 at 05:14:28PM +0000, Alan Mackenzie wrote:
> > On Mon, Oct 18, 2021 at 20:50:50 +0100, Gavin Smith wrote:
> > > I will look at the documentation and other issues you raise.

> > Thanks!  I'll look forward to that.


> Hello Alan, I am not sure if you are still interested in this issue
> but I did not see any continuation of this discussion so wasn't aware
> if you or others were aware of the outcome.

Thanks indeed for the reminder.  The issue sort of got pushed onto the
stack in my brain where it still remains.  Yes I am still interested.

> In Texinfo 7.0 onward, there is a new variable ASCII_PUNCTUATION
> (used like 'texi2any -c ASCII_PUNCTUATION=1') which uses ASCII output
> in preference to non-ASCII UTF-8 in several contexts: the output
> of commands like @samp, the output of ', '', `, ``, -, -- and ---
> in output files, and the output of some glpyh commands like @bullet{}.

I will look forward to that.  Currently in my distribution (Gentoo),
textinfo is at version 6.8.

> Currently we are discussing on bug-texinfo changing some defaults
> for the output and adding some configuration variables for more
> fine-grained control of the output.
> https://lists.gnu.org/archive/html/bug-texinfo/2023-02/msg00048.html

> Currently, I expect that ASCII_PUNCTUATION will carry on doing what
> it does already.

Thanks!  I will download texinfo 7.0 and try it out.

-- 
Alan Mackenzie (Nuremberg, Germany).