@documentencoding works only with makeinfo --html.

diff --git a/gettext-tools/doc/ChangeLog b/gettext-tools/doc/ChangeLog
index ae552d4cdbda02d48b7d8cbd51dbfb1825a95c4d..6e270a61f02038ff65770414f806b8f83e7fd799 100644 (file)
--- a/gettext-tools/doc/ChangeLog
+++ b/gettext-tools/doc/ChangeLog
@@ -1,3 +1,8 @@
+2006-04-11  Bruno Haible  <bruno@clisp.org>
+
+       * gettext.texi: Comment out @documentencoding, since we are using
+       texi2html, not makeinfo, to produce the HTML documentation.
+
 2006-04-02  Bruno Haible  <bruno@clisp.org>
 
        * gettext.texi (wxWidgets): Renamed from wxWindows. Clarify formatting

diff --git a/gettext-tools/doc/gettext.texi b/gettext-tools/doc/gettext.texi
index 258f3bf21e75c01cae87fa5f1cdaa2ae09123b6d..85e867f591e63a9ddf23cdc28f60461bd73b0b7c 100644 (file)
--- a/gettext-tools/doc/gettext.texi
+++ b/gettext-tools/doc/gettext.texi
@@ -1,8 +1,9 @@
 \input texinfo          @c -*-texinfo-*-
 @c %**start of header
-@ifhtml
-@documentencoding UTF-8
-@end ifhtml
+@c The @documentencoding is needed for makeinfo, but not for texi2html.
+@c @ifhtml
+@c @documentencoding UTF-8
+@c @end ifhtml
 @setfilename gettext.info
 @settitle GNU @code{gettext} utilities
 @finalout