Add TEX files