K 10 svn:author V 5 joerg K 8 svn:date V 27 1997-09-20T15:40:55.000000Z K 7 svn:log V 263 Perform a `make distrib-dirs distribution' inside the chroot tree before trying to `make world', so to become less dependant from the correctness of the environment hosting the `make release'. The recent addition of a group `network' made this problem apparent. END