commit bb111e78279a221ac7d64248c3e6a9b3ccbd8cca
author Bertrand Delacretaz <bdelacretaz@apache.org> Mon Jan 07 10:24:20 2019 +0100
committer Bertrand Delacretaz <bdelacretaz@apache.org> Mon Jan 07 10:24:20 2019 +0100
tree 3697a5efb900e1c8b741489c6cb52f69ac055e73
parent 5529bdfaa368b73fbda2bc6a09f7dbde8d271351

Add ignore option to error msg

pom.xml

diff --git a/pom.xml b/pom.xml
index 9c758c7..4b2392f 100644
--- a/pom.xml
+++ b/pom.xml
@@ -179,6 +179,7 @@
                                         <requireJavaVersion>
                                             <message>
                                                 You must use JDK 9 or newer due to issues with javadoc in older JDKs, for details check https://bugs.java.com/bugdatabase/view_bug.do?bug_id=8206092
+                                                Use -Dignore.javadocjdk to ignore this requirement, if not building javadoc
                                             </message>
                                             <version>9</version>
                                         </requireJavaVersion>