K 10 svn:author V 3 imp K 8 svn:date V 27 2006-06-22T16:52:53.000000Z K 7 svn:log V 462 Per weak consensus on this topic, remove suggestion to set HISTORICAL_MAKE_WORLD from the text that's output. This was committed against the previous consensus. Leave the documentation in this file as a compromose. The HISTORICAL_MAKE_WORLD knob is intentionally obfuscated and we only trust people smart enough to read the Makefile to use it. All others have no business using it due to its danger, unless DESTDIR is set. Dissentors: grog, obrien, trhodes END