summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorJim Meyering <jim@meyering.net>1999-01-31 23:16:31 +0000
committerJim Meyering <jim@meyering.net>1999-01-31 23:16:31 +0000
commit45d503f7f9cbd9410309a0117ecb7476086ece3a (patch)
treec3fc73e512ee30321e8a636c416fbd7f188c76b3 /doc
parent3aaa173ce2bd90d96a956da61252db7b3e0055f9 (diff)
downloadcoreutils-45d503f7f9cbd9410309a0117ecb7476086ece3a.tar.xz
Wrap the @top node in @ifnottex instead of
@ifinfo so `makeinfo --html ...' works. From Karl Berry.
Diffstat (limited to 'doc')
-rw-r--r--doc/sh-utils.texi4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/sh-utils.texi b/doc/sh-utils.texi
index 796d050ea..6b9376c8a 100644
--- 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