Re: default ungziped /usr/doc/*/* ?

[Peter S Galbraith <GalbraithP@dfo-mpo.gc.ca>]

Jan Vroonhof wrote:

> It would be nice if the package system supported something like this
> (i.e. would consider both the normal and the gz version as part of the 
> package). Not all formats have "zxxx" equivalents yet (dvi comes to
> mind).

I suggested this on debian-devel in a thread I started on October
1st 1998, with the subejct line: 

  Deleting uncompressed Info/Doc files at upgrades

Go look at the archives if you want.  I met so much resistance
that I'm never bringing this up again on -devel.

Peter Galbraith <psg@debian.org>