function to produce html file