diff --git a/doc/.gitignore b/doc/.gitignore index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..a1363379944a5745ceb49c0e493d80eb9335c79a 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -0,0 +1 @@ +*.pdf