Update .gitignore to add .synctex