diff --git a/.gitignore b/.gitignore index 507684b6bfd3..6dcf24f20c2c 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,3 @@ /target +/doc *.dot