Merge pull request #12093 from jetty/fix/jetty-12/jetty-documentation…

…-skip-deploy

skip deployment of jetty-documentation

documentation/jetty-documentation/pom.xml

@@ -15,6 +15,7 @@
     <bundle-symbolic-name>${project.groupId}</bundle-symbolic-name>
     <jacoco.skip>true</jacoco.skip>
     <javadoc.skip>true</javadoc.skip>
+    <maven.deploy.skip>true</maven.deploy.skip>
     <sources.skip>true</sources.skip>
   </properties>