From 410e9db837c964bfcb27ff01693eb77a45dcd60f Mon Sep 17 00:00:00 2001
From: Simone Bordet <simone.bordet@gmail.com>
Date: Tue, 29 Nov 2022 18:46:02 +0100
Subject: [PATCH] Issue #8895 - delete javadoc sources (#8977)

* Issue #8895 - delete javadoc sources

Delete java source files used to generate javadocs,
so that IDEs do not report duplicate sources.

Signed-off-by: Simone Bordet <simone.bordet@gmail.com>
---
 javadoc/pom.xml | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/javadoc/pom.xml b/javadoc/pom.xml
index 96933ba46e7..6b6cd574dda 100644
--- a/javadoc/pom.xml
+++ b/javadoc/pom.xml
@@ -53,7 +53,7 @@
         <artifactId>maven-antrun-plugin</artifactId>
         <executions>
           <execution>
-            <id>init-jetty-sources-dir</id>
+            <id>create-sources-dir</id>
             <phase>generate-sources</phase>
             <goals>
               <goal>run</goal>
@@ -64,6 +64,18 @@
               </target>
             </configuration>
           </execution>
+          <execution>
+            <id>delete-sources-dir</id>
+            <phase>verify</phase>
+            <goals>
+              <goal>run</goal>
+            </goals>
+            <configuration>
+              <target>
+                <delete dir="${sources-directory}" failonerror="false" />
+              </target>
+            </configuration>
+          </execution>
         </executions>
       </plugin>
       <plugin>