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 /old | |
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 'old')
0 files changed, 0 insertions, 0 deletions