Copy element-list to package-list in Javadoc deployment

acogoluegnes · acogoluegnes · commit 04bc4caed4a8 · 2022-02-25T16:24:33.000+01:00
For Java8-generated Javadoc to link correctly to the library Javadoc whatever Java version used to generate it. See https://bugs.openjdk.java.net/browse/JDK-8211194.
diff --git a/deploy-javadoc.sh b/deploy-javadoc.sh
@@ -5,6 +5,11 @@ TAG=$(git describe --exact-match --tags $(git log -n1 --pretty='%h'))
 
 make deps
 ./mvnw -q clean javadoc:javadoc -Dmaven.javadoc.failOnError=false
+
+if [ -e target/site/apidocs/element-list ]
+  then cp target/site/apidocs/element-list target/site/apidocs/package-list
+fi
+
 git co gh-pages
 rm -rf $DEPLOY_DIRECTORY/*
 cp -r target/site/apidocs/* $DEPLOY_DIRECTORY
