At 6:11 PM +0200 2002/04/19, Manuel Bouyer wrote:

>  No, all of them are to be extracted in the same directory (all start with
>  a src/ directory)

	There is a top-level.tar.gz tarball which doesn't seem to have 
any obvious place that I can find in my system.  Does this also 
belong in /usr/src?

-- 
Brad Knowles, <brad.knowles@skynet.be>

"They that can give up essential liberty to obtain a little temporary
safety deserve neither liberty nor safety."
     -Benjamin Franklin, Historical Review of Pennsylvania.