Re: removing directories in /usr/share/doc/

2002-01-19 Thread Colin Watson
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 c

Re: removing directories in /usr/share/doc/

2002-01-19 Thread Karl E. Jorgensen
On Sat, Jan 19, 2002 at 09:12:22AM -0800, Patrick Dahiroc wrote: > > Many times, there will be specific doc packages, > > i.e. this > > output from "dpkg -l | grep doc" : > > gnome-db-doc > > gnome-dev-doc > > gnome-doc-tools > > gnumeric-doc > > kernel-doc-2.2.20 > > kernel-doc-2.4.1

Re: removing directories in /usr/share/doc/

2002-01-19 Thread Patrick Dahiroc
> Many times, there will be specific doc packages, > i.e. this > output from "dpkg -l | grep doc" : > gnome-db-doc > gnome-dev-doc > gnome-doc-tools > gnumeric-doc > kernel-doc-2.2.20 > kernel-doc-2.4.17 > multi-gnome-terminal-doc > phpdoc > wine-doc > > Have you removed all of

Re: removing directories in /usr/share/doc/

2002-01-19 Thread Ron Johnson
On Sat, 19 Jan 2002 08:28:10 -0800 (PST) Patrick Dahiroc <[EMAIL PROTECTED]> wrote: > is it completely safe to simply 'rm -rf' certain > directories in /usr/share/doc? > > i've noticed that /usr/share/doc takes up the largest > disk space in my /usr partition and i hardly ever read > any doc in i

removing directories in /usr/share/doc/

2002-01-19 Thread Patrick Dahiroc
is it completely safe to simply 'rm -rf' certain directories in /usr/share/doc? i've noticed that /usr/share/doc takes up the largest disk space in my /usr partition and i hardly ever read any doc in it, since i can almost always find the doc somewhere in the net. and some packages even have the