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

Re: Deleting uncompressed Info/Doc files at upgrades

On Mon, 19 Oct 1998, Peter S Galbraith wrote:

> Manoj Srivastava wrote:
> >  Peter> But perhaps coding an '--handle-uncompressed-docs' that is
> >  Peter> disabled by default would be good.
> > 
> > 	dpkg does not know that a file is a document, or have any idea
> >  of the information content of files in general, 

True, but one could define the set of files potentially handled by my
hypothetical '--handle-uncompressed-docs' in an unambiguous way.  For
example, any file that goes into /usr/doc/ or /usr/info (and maybe
/usr/man?) could be defined as a "doc" for the purposes of this
hypothetical option.  Apologies for not being explicit about that. 

In any case, while I think the idea is sensible, I know I'm not going to
get around to doing anything about it myself, so this will be my last post
on the topic.

    Andy Dougherty		doughera@lafayette.edu
    Dept. of Physics
    Lafayette College, Easton PA 18042

Reply to: