Wrap the @top node in @ifnottex instead of

@ifinfo so `makeinfo --html ...' works.  From Karl Berry.

diff --git a/doc/textutils.texi b/doc/textutils.texi
index 0b3fd24193b44bd4a5ce51a4954e1b2c49466d21..d840adcc160ec6e3db20183c1912d14899f6c841 100644 (file)
--- a/doc/textutils.texi
+++ b/doc/textutils.texi
@@ -103,7 +103,7 @@ by the Foundation.
 @end titlepage
 
 
-@ifinfo
+@ifnottex
 @node Top
 @top GNU text utilities
 
@@ -203,7 +203,7 @@ Opening the software toolbox
 @end detailmenu
 @end menu
 
-@end ifinfo
+@end ifnottex
 
 
 @node Introduction