@documentencoding can be used unconditionally.

diff --git a/gettext-tools/doc/ChangeLog b/gettext-tools/doc/ChangeLog
index 6bca4c8d90f44c419534687ad087cd2d5a9204f3..0e4cbe83d414df30aaf995e531ee5c5bd45d9c96 100644 (file)
--- a/gettext-tools/doc/ChangeLog
+++ b/gettext-tools/doc/ChangeLog
@@ -1,3 +1,7 @@
+2007-05-04  Bruno Haible  <bruno@clisp.org>
+
+       * gettext.texi: Make the @documentencoding command unconditional.
+
 2007-05-03  Bruno Haible  <bruno@clisp.org>
 
        Add support for both "makeinfo --html" and texi2html.

diff --git a/gettext-tools/doc/gettext.texi b/gettext-tools/doc/gettext.texi
index a259e20923f0654cebb94f65e78303ab41e427e1..14796d957b813200a6e0e6210843e3892f1dab2e 100644 (file)
--- a/gettext-tools/doc/gettext.texi
+++ b/gettext-tools/doc/gettext.texi
@@ -4,10 +4,8 @@
 @c The @ifmakeinfo ... @end ifnottex conditional evaluates to true in makeinfo
 @c for info and html output, but to false in texi2html.
 @alias ifmakeinfo = ifnottex
-@c The @documentencoding is needed for makeinfo, but not for texi2html.
-@ifmakeinfo
+@c The @documentencoding is needed for makeinfo; texi2html accepts it as well.
 @documentencoding UTF-8
-@end ifnottex
 @settitle GNU @code{gettext} utilities
 @finalout
 @c Indices: