TeX output files ignored.