doc to HTML