make empty javadoc jar

puredanger · puredanger · commit 0421f0098608 · 2026-01-02T08:46:17.000-06:00
diff --git a/pom.xml b/pom.xml
@@ -85,6 +85,19 @@
               </includes>
             </configuration>
           </execution>
+          <execution>
+              <id>javadoc-jar</id>
+              <phase>package</phase>
+              <goals>
+                  <goal>jar</goal>
+              </goals>
+              <configuration>
+                  <classifier>javadoc</classifier>
+                  <includes>
+                    <include>**/*.html</include>
+                  </includes>
+              </configuration>
+          </execution>
         </executions>
       </plugin>
       <plugin>
