diff --git a/.gitignore b/.gitignore index 67ce3a0..613df5d 100644 --- a/.gitignore +++ b/.gitignore @@ -8,3 +8,6 @@ *.pdf *.bib *.djvu + +# build +build/