Adding TeX files