K 10
svn:author
V 5
peter
K 8
svn:date
V 27
1996-02-17T14:23:25.000000Z
K 7
svn:log
V 140
do the 'include-tools' as part of the world target (like lib-tools and
build-tools) so that a "make includes" doesn't spam your build tree.

END