Re: cleaning up kernel source

[lists@lina.inka.de (Bernd Eckenfels)]

Hello,

> I am tempted to rm -r the whole tree (which I have done previously), but I see 
> the Documentation that I might want to keep some things handy (like the 
> documentation).

You can copy the doc to a save place (/usr/doc/linux should be created
anyway?) and copy the KErnelimage and the System.map to /boot. Then you can
delete the source-tree, since the kernel Headers are included into
libc5-dev.

Greetings
Bernd

--
TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
debian-devel-REQUEST@lists.debian.org . Trouble? e-mail to Bruce@Pixar.com