From 2de3c6b84f56b531b3c9d359c1ea8feda53e5db8 Mon Sep 17 00:00:00 2001
From: gwenn <gtreguier@gmail.com>
Date: Sat, 11 Nov 2023 14:38:26 +0100
Subject: [PATCH] Fix javadoc generation with manifold

---
 pom.xml | 36 +++++++++++++++++++++++++++++++++++-
 1 file changed, 35 insertions(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 1a455f2..038b46e 100644
--- a/pom.xml
+++ b/pom.xml
@@ -40,6 +40,7 @@
     <maven.compiler.source>${java.version}</maven.compiler.source>
     <maven.compiler.target>${java.version}</maven.compiler.target>
     <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
+    <manifold.version>2023.1.29</manifold.version>
   </properties>
 
   <dependencies>
@@ -53,6 +54,13 @@
       <artifactId>sqlite-parser</artifactId>
       <version>0.2.0</version>
     </dependency>
+    <!-- For Javadoc agent -->
+    <dependency>
+      <groupId>systems.manifold</groupId>
+      <artifactId>manifold-javadoc-agent</artifactId>
+      <scope>provided</scope>
+      <version>${manifold.version}</version>
+    </dependency>
     <dependency>
       <groupId>org.hamcrest</groupId>
       <artifactId>hamcrest</artifactId>
@@ -130,10 +138,36 @@
               </execution>
             </executions>
           </plugin>
+          <!-- For javadoc agent referenced in maven-javadoc-plugin -->
+          <plugin>
+            <groupId>org.apache.maven.plugins</groupId>
+            <artifactId>maven-dependency-plugin</artifactId>
+            <version>2.8</version>
+            <executions>
+              <execution>
+                <goals>
+                  <goal>properties</goal>
+                </goals>
+              </execution>
+            </executions>
+          </plugin>
           <plugin>
             <groupId>org.apache.maven.plugins</groupId>
             <artifactId>maven-javadoc-plugin</artifactId>
             <version>3.6.0</version>
+            <configuration>
+              <doclint>none</doclint>
+              <additionalJOptions>
+                <additionalJOption>-J-javaagent:${systems.manifold:manifold-javadoc-agent:jar}</additionalJOption>
+              </additionalJOptions>
+              <additionalDependencies>
+                <additionalDependency>
+                  <groupId>systems.manifold</groupId>
+                  <artifactId>manifold-preprocessor</artifactId>
+                  <version>${manifold.version}</version>
+                </additionalDependency>
+              </additionalDependencies>
+            </configuration>
             <executions>
               <execution>
                 <id>attach-javadocs</id>
@@ -193,7 +227,7 @@
             <path>
               <groupId>systems.manifold</groupId>
               <artifactId>manifold-preprocessor</artifactId>
-              <version>2023.1.29</version>
+              <version>${manifold.version}</version>
             </path>
           </annotationProcessorPaths>
         </configuration>