From 566040ead84bbdf8e97a382ecb5bbb2afe3bbbec Mon Sep 17 00:00:00 2001
From: Sven Meyer <s.v.meyer@online.de>
Date: Tue, 3 Dec 2024 11:45:07 +0100
Subject: [PATCH] Add JavaDoc plugin

---
 pom.xml | 22 ++++++++++++++++++----
 1 file changed, 18 insertions(+), 4 deletions(-)

diff --git a/pom.xml b/pom.xml
index f6d8be9..7926863 100644
--- a/pom.xml
+++ b/pom.xml
@@ -63,8 +63,8 @@
         <pluginManagement>
             <plugins>
                 <!-- xtend-maven-plugin is in pluginManagement instead of in plugins 
-					so that it doesn't run before the exec-maven-plugin's *.mwe2 gen; this way 
-					we can list it after. -->
+                    so that it doesn't run before the exec-maven-plugin's *.mwe2 gen; this way 
+                    we can list it after. -->
                 <plugin>
                     <groupId>org.eclipse.xtend</groupId>
                     <artifactId>xtend-maven-plugin</artifactId>
@@ -387,13 +387,27 @@
                     </execution>
                 </executions>
             </plugin>
+            <plugin>
+                <!-- This plugin is required for releases to Maven Central. If Javadoc is used, it has to be correct. -->
+                <groupId>org.apache.maven.plugins</groupId>
+                <artifactId>maven-javadoc-plugin</artifactId>
+                <version>3.11.1</version>
+                <executions>
+                    <execution>
+                        <id>attach-javadoc</id>
+                        <goals>
+                            <goal>jar</goal>
+                        </goals>
+                    </execution>
+                </executions>
+            </plugin>
         </plugins>
     </build>
 
     <profiles>
         <!-- This profile is used to avoid running the deployment in non-deployment
-			contexts because they require specific keys from the Github remote. Include
-			this profile by setting the -Pdeployment flag. -->
+            contexts because they require specific keys from the Github remote. Include
+            this profile by setting the -Pdeployment flag. -->
         <profile>
             <id>deployment</id>
             <build>