Wrap the @top node in @ifnottex instead of

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

diff --git a/doc/sh-utils.texi b/doc/sh-utils.texi
index 796d050eafeb49f440c03e56852553b4936a1235..6b9376c8a6467c704008c0d20c56d8cb45b242af 100644 (file)
--- a/doc/sh-utils.texi
+++ b/doc/sh-utils.texi
@@ -113,7 +113,7 @@ by the Foundation.
 @end titlepage
 
 
-@ifinfo
+@ifnottex
 @node Top
 @top GNU shell utilities
 
@@ -140,7 +140,7 @@ This manual documents version @value{VERSION} of the GNU shell utilities.
 
 * Index::                       General index.
 @end menu
-@end ifinfo
+@end ifnottex
 
 
 @node Introduction