|
From: | Karl Berry |
Subject: | Re: gen-dir-node problems |
Date: | Fri, 24 Jan 2003 09:19:37 -0500 |
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.
[Prev in Thread] | Current Thread | [Next in Thread] |