diff --git a/.gitignore b/.gitignore index 50ee488..db4f502 100644 --- a/.gitignore +++ b/.gitignore @@ -7,3 +7,4 @@ pom.xml TAGS checkouts/* doc/* +deploy.docs.sh