[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: gen-dir-node problems

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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]