TeX files are changed