K 10
svn:author
V 3
kwm
K 8
svn:date
V 27
2010-05-12T14:51:24.000000Z
K 7
svn:log
V 105
Install the tools in the NOPORTDOCS case.
We need them for other *mm-reference ports.

Submitted by:	QAT

END