K 10 svn:author V 3 bde K 8 svn:date V 27 1996-10-25T14:22:50.000000Z K 7 svn:log V 111 Improved comment about `all' target. Use a for loop instead of massive duplication in the build-tools target. END