24 AUG 2014: remove the HTML files