Re: Documentation Policy
To make documentation for packages optional by splitting it into
separate packages would not be a good idea at this point. Please wait
for Deity to implement more fine-grained control over installation, or
let the user manually remove /usr/doc or /usr/info .
Thanks
Bruce
--
Bruce Perens K6BP Bruce@Debian.novare.net 510-215-3502
Finger bruce@master.Debian.org for PGP public key.
PGP fingerprint = 88 6A 15 D0 65 D4 A3 A6 1F 89 6A 76 95 24 87 B3
--
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: