K 10 svn:author V 2 lx K 8 svn:date V 27 2010-02-22T21:58:41.000000Z K 7 svn:log V 128 Install HTML PORTDOCS and fix CONFIGURE_ARGS. PR: ports/144157 Submitted by: Niels Heinen Feature safe: yes END