Re: removing directories in /usr/share/doc/
On Sat, Jan 19, 2002 at 08:28:10AM -0800, Patrick Dahiroc wrote:
> is it completely safe to simply 'rm -rf' certain directories in
> /usr/share/doc?
Current Debian policy contains a clause designed to allow people to do
this without breaking things, although you may find that some packages
don't conform to that policy (you can file bugs if they do).
Doing this is something of a pain, though, as you have to repeat the
process every time new packages are installed. Directory exclusion is on
the wishlist for dpkg, and will solve this problem.
> it would be nice if apt-get has an option to not install files
> destined for /usr/share/doc/<package>.
This is somewhat lower-level than apt-get.
--
Colin Watson [cjwatson@flatline.org.uk]
Reply to: