@@ -114,12 +114,5 @@ So, save yourself a lot of hassle and just remove the source directory
immediately after you have installed it.
</para>
-<para>
-There is one exception to that rule: don't remove the Linux kernel source
-tree. A lot of programs need the kernel headers, so that's the only
-directory that should not be removed, unless no package is to be compiled
-anymore.
-</para>
-
</sect1>