K 10 svn:author V 6 stefan K 8 svn:date V 27 2006-11-18T19:20:38.000000Z K 7 svn:log V 135 Fix port for cases in which NOPORTDOCS is defined. PR: 105498 Submitted by: Mark Andrews Patch by: maintainer END