K 10 svn:author V 6 amdmi3 K 8 svn:date V 27 2008-06-20T09:09:10.000000Z K 7 svn:log V 112 Fix docs installation (install man regardless of NOPORTDOCS). Approved by: miwi (mentor) Reported by: QA Tindy END