Ignored extra TeX files.