Output the HTML documentation truly in the fashion of manual pages
Fixed "make dist"