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? Steve
Attachment:
pgpRYigD3Czd1.pgp
Description: PGP signature