Ignore extra files associated with the new tex sources