K 10 svn:author V 3 pgj K 8 svn:date V 27 2009-01-21T22:57:14.000000Z K 7 svn:log V 176 - Add HTML documentation when NOPORTDOCS is not defined PR: ports/129045 Submitted by: Ashish Shukla Reviewed by: tabthorpe Approved by: gabor END