> Date: Sat, 26 Dec 2015 10:38:45 +0000 > From: Gavin Smith <[email protected]> > Cc: Texinfo <[email protected]> > > 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?
