reformat tex files