From a6c195080466bb3cb7c5a4527622b8f49c7639ad Mon Sep 17 00:00:00 2001
From: Jonathan Hedley <jonathan@hedley.net>
Date: Mon, 27 Nov 2023 12:18:08 +1100
Subject: [PATCH] In javadoc, emit links to source

---
 pom.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pom.xml b/pom.xml
index 1c9b53b202..5d63739fde 100644
--- a/pom.xml
+++ b/pom.xml
@@ -117,6 +117,7 @@
         <configuration>
           <doclint>none</doclint>
           <source>8</source>
+          <linksource>true</linksource>
         </configuration>
         <executions>
           <execution>