[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Alan Mackenzie
Subject: Re: Loss of search facility in info in newer releases of Texinfo
Date: Tue, 28 Feb 2023 13:45:55 +0000

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.

> 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).

reply via email to

[Prev in Thread] Current Thread [Next in Thread]