On Sun, Jan 23, 2005 at 07:14:28PM -0500, Steve Rumble wrote:

> On Mon, Jan 24, 2005 at 11:07:51AM +1100, Simon Burge wrote:
> > 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.
> 
> So, no objections to reverting this? 

Not at all.  The usual process is that when you remove a header file
you mark it as obsolete in the set list.  Maybe a short enough time
has transpired that we can just remove it altogether?

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