mirror of
git://git.sv.gnu.org/coreutils
synced 2026-06-13 12:12:21 -04:00
7f7cdc86f9
@ifinfo so `makeinfo --html ...' works. From Karl Berry.