Remove obsolete .tex files.