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. -- Brad Knowles, <brad.knowles_at_skynet.be> "Those who would give up essential Liberty, to purchase a little temporary Safety, deserve neither Liberty nor Safety." -- Benjamin Franklin (1706-1790), reply of the Pennsylvania Assembly to the Governor, November 11, 1755 SAGE member since 1995. See <http://www.sage.org/> for more info.Received on Tue Jul 13 2004 - 19:56:58 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:38:01 UTC