Brad Knowles wrote: > At 11:49 PM +0200 2004-07-13, Poul-Henning Kamp wrote: > >> I think the problem here is that people type "make world" when >> they shouldn't. > > > Right, but they don't know that, because almost all the > documentation over the past ten years has said that this is the way to > do things. We can put "don't use 'make world'" in all the primary > documentation you want, and maybe 1% of the users will ever see that, > after they've been burned. > > The way to fix this problem is to fix it. > >> But removing the world target will make a lot of documentation >> wrong, about 22900 pages of documentation according to google. > > > All that stuff is wrong anyway. There's no reason we should > continue to support that. > >> Find a better solution please. > > > If you've got one, I'd love to hear it. So far, I haven't heard > of anything better. > I would suggest that unilateraly removing "make world" is not good, and neither is retaining it in its present form. So in good spirit, could we sprink in some thing that displays a huge blinking warning in bold about why this might be bad? If we (rather you commiters) decide to remove it, make a plan to do so for 6.x. This is a ballance: noob foot shoots who agrivate developers who speak of reading docs that are wrong Vs the utility of this arguably hostile facility. Where is the justification in any of it? -JonReceived on Tue Jul 13 2004 - 20:09:56 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:38:01 UTC