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

Re: TeXDoc does not like gzipped documentation

On Sat, Sep 04, 1999 at 16:57:45 +0100, Stefan Baums wrote:
> Debian's teTeX package is gzipped, so that texdoc is quite useless.  I
> would file a bug report, but there are probably some people who regard
> the gzipped state of Debian's .dvi documentation as a feature (I
> don't). 

I didn't until I discovered mime-support's "see" program which does
transparent uncompression. E.g. "see foo.dvi.bz2".

> The way to go is to either not to gzip the documentation, or to modify (or
> ask Thomas Esser to modify) texdoc so it can handle gzipped files.

The latter. Preferably in upstream tetex.

LEADERSHIP  A form of self-preservation exhibited by people with auto-
destructive imaginations in order to ensure that when it comes to the crunch 
it'll be someone else's bones which go crack and not their own.       
- The Hipcrime Vocab by Chad C. Mulligan    

Reply to: