Create typeset.html