Ignore TeX foo.