From 876269427b80d1d4a68403e0e729342d340fbd82 Mon Sep 17 00:00:00 2001 From: Fritz Elfert Date: Thu, 16 Apr 2020 13:23:31 +0200 Subject: [PATCH] Fix javadoc generation on JDK >= 8 (#67) --- pom.xml | 3 +++ project/pom.xml | 14 ++++++++++++++ 2 files changed, 17 insertions(+) diff --git a/pom.xml b/pom.xml index c59a0a8181..894c4acc87 100644 --- a/pom.xml +++ b/pom.xml @@ -83,6 +83,9 @@ maven-javadoc-plugin + + ${javadoc.opts} + javadoc diff --git a/project/pom.xml b/project/pom.xml index e170d54820..bdefe7dfa1 100644 --- a/project/pom.xml +++ b/project/pom.xml @@ -886,6 +886,7 @@ ${project.build.sourceEncoding} true 512m + ${javadoc.opts} @@ -987,6 +988,7 @@ 512m ${project.build.sourceEncoding} true + ${javadoc.opts} https://download.oracle.com/javase/6/docs/api/ @@ -1208,6 +1210,15 @@ + + disable-doclint + + [1.8,) + + + -Xdoclint:none + + live @@ -1421,6 +1432,9 @@ maven-javadoc-plugin 2.9 + + ${javadoc.opts} + javadoc