diff --git a/garlic/doc/.gitignore b/garlic/doc/.gitignore index d62ddbb5..292d969f 100644 --- a/garlic/doc/.gitignore +++ b/garlic/doc/.gitignore @@ -1,2 +1,2 @@ -*.pdf *.txt +*.pdf