convert man pages to HTML
