K 10 svn:author V 3 wxs K 8 svn:date V 27 2012-05-22T11:03:49.000000Z K 7 svn:log V 59 Add htmldocs to distinfo. I missed this in my last commit. END