Re: texinfo should support Emacs coding specifier

[Eli Zaretskii]

> Date: Sat, 26 Dec 2015 11:01:15 +0000
> From: Gavin Smith <address@hidden>
> Cc: Per Bothner <address@hidden>, Texinfo <address@hidden>
> 
> On 26 December 2015 at 10:58, Eli Zaretskii <address@hidden> 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?