typeset file