Output the HTML documentation truly in the fashion of manual pages