diff --git a/garlic/doc/.gitignore b/garlic/doc/.gitignore index 292d969f..b30e5864 100644 --- a/garlic/doc/.gitignore +++ b/garlic/doc/.gitignore @@ -1,2 +1,4 @@ -*.txt +*.utf8 +*.ascii +*.html *.pdf