"Chris G. Demetriou" writes:
> You don't want to do that by (in essence) finding all of the headers
> in a few directory hierchies and using tar/pax/whatever to copy them
> into /usr/include.  "It doesn't work for user-land, what makes you
> think it should work for the kernel?"
> 
> There needs to be fine-grained control about which headers get
> installed.  Some headers just _shouldn't_ be installed, but there's no
> way to prevent that now.

We should probably adopt the userland mechanism -- the makefile should 
explicitly state what is to be installed.

.pm