gen-dir-node is a very useful program! Unfortunately, it can't handle zipped files. Any plans to implement this?
Werner
_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo
