Steve Rumble wrote:

> On Mon, Jan 24, 2005 at 08:02:16AM +0900, YAMAMOTO Takashi wrote:
>
> > is there any point to install this file into /usr/include?
> 
> I don't know. I assumed that it was standard practice as all of
> the other headers are included, whether they appear useful from
> userland or not.

I think we should be working the other way, and not polluting
/usr/include with stuff that will never be used by a userland
program.

Simon.
--
Simon Burge                            <simonb@wasabisystems.com>
NetBSD Support and Service:         http://www.wasabisystems.com/