> Date: Sat, 26 Dec 2015 11:01:15 +0000 > From: Gavin Smith <[email protected]> > Cc: Per Bothner <[email protected]>, Texinfo <[email protected]> > > 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."
A plain-ASCII document could produce a UTF-8 encoded Info manual, no?
