Added output of mktex4ht.tex