diff --git a/doc/.gitignore b/doc/.gitignore index 23f832b..df06a10 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1,2 +1,3 @@ *.html *.pdf +diag-mermaid-*