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: