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

[Alan Mackenzie]

Hello, Gavin.

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.

> On Mon, Oct 11, 2021 at 9:47 PM Alan Mackenzie <acm@muc.de> wrote:
> > Where did this "coding: utf-8" in the Local Variables: come from?  Is
> > UTF-8 now some sort of default in Texinfo?  This coding: setting doesn't
> > appear at the end of my copy of texinfo.info, even though texinfo.texi
> > also lacks a @documentencoding command.
> >
> > What would have happened if the ü had appeared in its utf-8 encoding
> > 0xc3, 0xbc rather than @"u, given that there's no @documentencoding
> > directive in the source?  This seems also to be undocumented in the
> > manual.  I should really try this out myself, but I'm too tired at the
> > moment.

> Yes, the default encoding is UTF-8 in Texinfo files. It's also the
> default output encoding for Info.

-- 
Alan Mackenzie (Nuremberg, Germany).