diff --git a/.gitignore b/.gitignore index f8c9043..f5d7bb8 100644 --- a/.gitignore +++ b/.gitignore @@ -33,3 +33,7 @@ compiler/doc.docdir compiler/_tags config config.status +*.blg +*.bbl +auto +autom4te.cache