mirror of
git://git.sv.gnu.org/coreutils.git
synced 2026-06-07 18:26:35 +02:00
45d503f7f9
@ifinfo so `makeinfo --html ...' works. From Karl Berry.