[...]
> The kernel is just a program, and this is a tools problem.  You don't
> see people arguing that cat's documentation should be moved into /bin/cat
> in case administrators misplace "cat.1.gz".
FSF. Compare cat --help on Linux and on Solaris... B-)
.TM.
-- 
      ____/  ____/   /
     /      /       /			Marco Colombo
    ___/  ___  /   /		      Technical Manager
   /          /   /			 ESI s.r.l.
 _____/ _____/  _/		       Colombo@ESI.it
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/