diff --git a/.gitignore b/.gitignore index bf2aa7b7..c1ae7065 100644 --- a/.gitignore +++ b/.gitignore @@ -2,3 +2,7 @@ *~ *.pyc *.log +*.aux +*.out +*.toc +*.synctex.gz