K 10 svn:author V 7 manolis K 8 svn:date V 27 2009-06-08T16:25:24.000000Z K 7 svn:log V 188 Split the 'make world' step in two steps (buildworld/installworld). Note that 'buildworld' need only be done once. PR: docs/135316 Submitted by: Glen Barber END