remove tex from 'ignored text file'