On 26 December 2015 at 10:58, Eli Zaretskii <[email protected]> wrote: >> If the duplication of the encoding information is a problem, maybe the >> Emacs mode for Texinfo could recognize a "@documentencoding" command. > > But @documentencoding doesn't necessarily mean the file is in that > encoding, does it?
I thought it did? That's what the manual seems to say: "The '@documentencoding' command declares the input document encoding, and can also affect the encoding of the output."
