gen-dir-node is a very useful program! Unfortunately, it can't
handle zipped files. Any plans to implement this?Not from me. It was a contributed script. I think fix-info-dir handles gzipped files, FWIW. I've never used either one, though. _______________________________________________ Bug-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-texinfo
