Re: Policy 12.3: should I rename?

[Tollef Fog Heen <tfheen@err.no>]

]] Geert Stappers 

> FWIW I agree with both '"main package "should have documentation'
> and 'additional documentation in separate doc package'.

I think we should stop recommending documentation be put in a separate
package and tell people who don't want docs to exclude the relevant
parts of /usr/share/doc using dpkg excludes instead.  Disk space is
pretty cheap and we keep complaining about the per-package overhead in
Packages.gz, so it should be a net gain for most people.

-- 
Tollef Fog Heen
UNIX is user friendly, it's just picky about who its friends are