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 the better :). Best, Karl _______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo/ [email protected] http://lists.gnu.org/mailman/listinfo/bug-texinfo
