diff options
| author | Jim Meyering <jim@meyering.net> | 1999-01-31 23:16:31 +0000 |
|---|---|---|
| committer | Jim Meyering <jim@meyering.net> | 1999-01-31 23:16:31 +0000 |
| commit | 45d503f7f9cbd9410309a0117ecb7476086ece3a (patch) | |
| tree | c3fc73e512ee30321e8a636c416fbd7f188c76b3 /doc | |
| parent | 3aaa173ce2bd90d96a956da61252db7b3e0055f9 (diff) | |
| download | coreutils-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.texi | 4 |
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 |