Fixed 'make dist' by including all HTML files in HTMLFILES.