Merge pull request #10896 from jetty/jetty-12.0.x-disable-duplicate-for-javadoc

disable duplicate finder for javadoc as it is plenty of unzipped sources
2023-11-15 07:41:08 -06:00 · 2023-11-15 07:41:08 -06:00 · 328b4a980e
parent 2b3d811ea9 ab4d01261a
commit 328b4a980e
1 changed files with 1 additions and 0 deletions
--- a/javadoc/pom.xml
+++ b/javadoc/pom.xml
@ -13,6 +13,7 @@

  <properties>
    <checkstyle.skip>true</checkstyle.skip>
+    <duplicate-finder.skip>true</duplicate-finder.skip>
    <maven.deploy.skip>true</maven.deploy.skip>
    <pmd.skip>true</pmd.skip>
    <sonar.skip>true</sonar.skip>