diff options
author | Jim Meyering <jim@meyering.net> | 1999-01-31 23:15:30 +0000 |
---|---|---|
committer | Jim Meyering <jim@meyering.net> | 1999-01-31 23:15:30 +0000 |
commit | 7f7cdc86f9f37cc63d5117b9d7180c419aac7d12 (patch) | |
tree | 1babc9aef673fc54fa0b4a7e49fa986861b0f756 /doc | |
parent | c54cb6e13bce2dfbab08cd9571a8328a77d30a95 (diff) | |
download | coreutils-7f7cdc86f9f37cc63d5117b9d7180c419aac7d12.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/textutils.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/textutils.texi b/doc/textutils.texi index 0b3fd2419..d840adcc1 100644 --- 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 |