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

I will look at the documentation and other issues you raise.

On Mon, Oct 11, 2021 at 9:47 PM Alan Mackenzie <[email protected]> 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.