Tex ignored files