diff --git a/.gitignore b/.gitignore index f5be81ee54..bfea189d1c 100644 --- a/.gitignore +++ b/.gitignore @@ -6,3 +6,4 @@ /.project /dependency-reduced-pom.xml /bin/ +/doc/