> 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 [EMAIL PROTECTED] . Trouble? e-mail to [EMAIL PROTECTED] .