Delete some TeX files