K 10 svn:author V 7 thierry K 8 svn:date V 27 2009-12-01T20:45:44.000000Z K 7 svn:log V 64 Fix previous commit if NOPORTDOCS is defined. Reported by: QAT END