Wrap the @top node in @ifnottex instead of

@ifinfo so `makeinfo --html ...' works. From Karl Berry.
2026-08-18 01:18:51 +02:00 · 1999-01-31 23:16:31 +00:00
parent 3aaa173ce2
commit 45d503f7f9
1 changed files with 2 additions and 2 deletions
@@ -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