Convert man pages to HTML
