Make texinfo encoding UTF-8 instead of utf-8.
Resolves Debian Bug #667816.
commitbf0b37d7eac0df9ba39fe07df18b3e37be36e3db
authorJohn MacFarlane <fiddlosopher@gmail.com>
dateFri 6 Apr 2012, 12:54 (15 years ago)
parent8e7c61c
default.texinfo+1−1
@@ -1,5 +1,5 @@
11\input texinfo
2−@documentencoding utf-8
2+@documentencoding UTF-8
33$for(header-includes)$
44$header-includes$
55$endfor$