K 10 svn:author V 4 gahr K 8 svn:date V 27 2008-07-04T21:43:08.000000Z K 7 svn:log V 149 - HTML files are needed by the GUI built-in documentation system and shall not depend on NOPORTDOCS. Reported by: Ports Fury (via private e-mail) END