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.
