K 10
svn:author
V 2
tg
K 8
svn:date
V 27
1999-07-06T13:27:38.000000Z
K 7
svn:log
V 136
Install the contents of the Tools directory by default. This can be
turned off by specifying `WITH_TOOLS=NO' when building.

PR:		12436

END