Adding Tex files