Format files for teTeX.
