regeneration of HTML files