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