From 4ba5ae7cfd46c2c9da4651ce70ca8f1b68fb57f2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Herv=C3=A9=20Boutemy?= <hboutemy@apache.org>
Date: Mon, 18 Sep 2023 07:52:54 +0200
Subject: [PATCH] [MJAVADOC-774] add dev profile to avoid plugin build
 depending on itself being already installed

---
 pom.xml | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index f94db2331..73d8b8e9e 100644
--- a/pom.xml
+++ b/pom.xml
@@ -436,7 +436,6 @@ under the License.
         <plugin>
           <groupId>org.apache.maven.plugins</groupId>
           <artifactId>maven-javadoc-plugin</artifactId>
-          <version>${project.version}</version>
           <configuration>
             <failOnWarnings>false</failOnWarnings>
           </configuration>
@@ -598,5 +597,19 @@ under the License.
         </plugins>
       </build>
     </profile>
+    <profile>
+      <id>dev</id>
+      <build>
+        <pluginManagement>
+          <plugins>
+            <plugin>
+              <groupId>org.apache.maven.plugins</groupId>
+              <artifactId>maven-javadoc-plugin</artifactId>
+              <version>${project.version}</version>
+            </plugin>
+          </plugins>
+        </pluginManagement>
+      </build>
+    </profile>
   </profiles>
 </project>