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

Re: Documentation Policy

> Those who have no space for documentation on their system should use "rm".
> Our next package system will be able to use a policy file to exclude
> installation from certain directories, like /usr/doc, which will make this
> easier for the user who wants to exclude documentation from a system.

What if one wants to exclude only HTML documentation?

TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
debian-devel-request@lists.debian.org . 
Trouble?  e-mail to templin@bucknell.edu .

Reply to: