Hi Andrew,

you wrote in <199604300352.XAA19972@ghost.whirlpool.com>:
> > Any ideas?
> 
> You need to do "make includes" now.  This can be done from /usr/src, and
> it will install all of the various includes.

Yes, indeed.

> I don't remember seeing this mentioned on the lists though.. :)

I don't, too.

-- 
Matthias Scheler
tron@lyssa.owl.de