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

[Patrice Dumas]

On Mon, Oct 11, 2021 at 11:35:06AM +0000, Alan Mackenzie wrote:
> Hello, Gavin.
> 
> 
> Apologies for not being all that clear in my initial post.  I hope I've
> now made it clear what I'm asking for - as an option, of course.
> --disable-encoding does not do what I want - it squeezes _all_
> characters into the ASCII range, rather than just the Texinfo formatting
> characters.

It does not change the characters in the text, only the characters
formatted by texi2any.  Which conversion is not ok for you with
--disable-encoding?

> > If you remove "@documentencoding UTF-8" from a file, the file is still
> > assumed to be in UTF-8, but less Unicode is used in the output where it
> > is not necessary.  Does that help?
> 
> Not really.  I've got too many info files on my system (Gentoo
> GNU/Linux) to remove that directive from them all each time there's a
> new version of the file.texi.

But does the output obtained when removing "@documentencoding UTF-8"
from the file suit you?

-- 
Pat