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 <[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. -- Alan Mackenzie (Nuremberg, Germany).
