diff --git a/.gitignore b/.gitignore index dd9be17..cd9dc65 100644 --- a/.gitignore +++ b/.gitignore @@ -8,6 +8,9 @@ *.fls *.out *.toc +*.gz + +*.pdf ## Intermediate documents: *.dvi