Thomas Esser writes:
> > In the debian distribution of tetex, all dvi files for packages are compressed
> > with gzip. It seems that the tools like texdoc, pksewhich and friends fail
> > becuase of that. Are there any plans to make them recognize compressed files ?
>
> Well, this feature can easily be added and I might do that some day.
>
> The real questions are:
> - are the debian people aware of the trouble caused by their compression
> (e.g. texdoc, doc/index.html won't work)?
Yes, we are aware of the problem. It is Debian Policy to compress
documentation to preserve space. But I had not yet a patch for texdoc
and friends.
> - are *they* going to fix these problems?
I'll be happy to include a patch in the Debian package to fix this.
Christoph
