diff --git a/.gitignore b/.gitignore index c531d98..8f9c1b4 100644 --- a/.gitignore +++ b/.gitignore @@ -1 +1,7 @@ *.elc + +# Documentation build files + +*.html +*.pdf +*.tex