Produce ready-to-go HTML files
