Re: @documentencoding, `makeinfo --enable-encoding' and texi2dvi(was: An accented i)

[Eli Zaretskii]

> Date: Tue, 8 Apr 2003 12:05:24 -0400
> From: address@hidden (Karl Berry)
> 
> Instead, if this is the right thing to do (I defer to the Emacs i18n
> experts in the crowd ... Eli?), it will be easy to change makeinfo to
> automatically output it at the end of every file, based on the
> @documentencoding value (and if --enable-encoding is specified, I
> guess).

It's okay to do that, but we must make sure that what we output after
the "coding:" tag is a valid so-called ``coding-system'' which Emacs
knows about.  AFAICS, the Texinfo manual does not say exactly what
can be the value of @documentencoding.