diff --git a/.gitignore b/.gitignore index 9ffdbb9..513ee1b 100644 --- a/.gitignore +++ b/.gitignore @@ -6,3 +6,4 @@ doc/*.aux doc/*.log doc/*.toc doc/*.synctex.gz +doc/*.out