Make texinfo encoding UTF-8 instead of utf-8.

Resolves Debian Bug #667816.
This commit is contained in:
John MacFarlane 2012-04-06 12:54:10 -07:00
parent 8e7c61c307
commit bf0b37d7ea

View file

@ -1,5 +1,5 @@
\input texinfo
@documentencoding utf-8
@documentencoding UTF-8
$for(header-includes)$
$header-includes$
$endfor$