From 7817bf29f2ce522bd99b48e3a2bf82e2180854e7 Mon Sep 17 00:00:00 2001
From: Paul Tuckey <paul@tuckey.org>
Date: Wed, 18 Oct 2023 11:29:23 +1300
Subject: [PATCH] add sources and javadoc to release

---
 .github/workflows/release.yml |  3 ++-
 pom.xml                       | 17 +++++++++++++++++
 2 files changed, 19 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index f35ac505..9b2b6160 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -11,7 +11,8 @@ jobs:
       - uses: actions/checkout@v3
 
 # Do manually for now (Sep 2023)
-
+#
+#   mvn deploy
 
 #      - name: Set up Java for publishing to Maven Central Repository
 #        uses: actions/setup-java@v3
diff --git a/pom.xml b/pom.xml
index 280296e3..7258804e 100644
--- a/pom.xml
+++ b/pom.xml
@@ -155,6 +155,14 @@
                 <groupId>org.apache.maven.plugins</groupId>
                 <artifactId>maven-source-plugin</artifactId>
                 <version>2.1.2</version>
+                <executions>
+                    <execution>
+                        <id>attach-sources</id>
+                        <goals>
+                            <goal>jar</goal>
+                        </goals>
+                    </execution>
+                </executions>
             </plugin>
             <plugin>
                 <groupId>org.apache.maven.plugins</groupId>
@@ -165,6 +173,15 @@
                     <quiet>true</quiet>
                     <doclint>none</doclint>
                 </configuration>
+                <executions>
+                    <execution>
+                        <id>main-javadoc</id>
+                        <phase>package</phase>
+                        <goals>
+                            <goal>jar</goal>
+                        </goals>
+                    </execution>
+                </executions>
             </plugin>
             <plugin>
                 <groupId>org.apache.maven.plugins</groupId>