Ignoring tex aux files