Hi Daniel,
This is not just an aesthetic problem for the dir file, but a
functional bug: there is no way to use install-info to remove this
(foo.info) node!
Thanks very much for the report. I'll fix it as soon as I can. If you
or anyone is interested in working up a patch, so much t
If I 'install-info foo.info' (using install-info from dpkg-1.10.21 or
dpkg-1.13.11), the dir entry lists the node as (foo). If I
'install-info foo.info.gz', the dir entry lists the node as
(foo.info). This is not just an aesthetic problem for the dir file,
but a functional bug: there is no way to