On Mon, Jan 24, 2005 at 11:35:48AM +1100, Simon Burge wrote: | 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? Actually, no. It wasn't short enough. I've fixed this properly. Cheers, Luke.
Attachment:
pgpTM84YTaNYy.pgp
Description: PGP signature