diff options
| -rw-r--r-- | parent/pom.xml | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/parent/pom.xml b/parent/pom.xml index b15a4b13410..c2c556d4586 100644 --- a/parent/pom.xml +++ b/parent/pom.xml @@ -239,6 +239,27 @@ </build> <profiles> <profile> + <!-- TODO: move config into pluginManagement when we don't have to support older jdks --> + <id>jdk10</id> + <activation> + <jdk>[10, )</jdk> + </activation> + <build> + <pluginManagement> + <plugins> + <plugin> + <groupId>org.apache.maven.plugins</groupId> + <artifactId>maven-javadoc-plugin</artifactId> + <configuration> + <!-- Avoid javadoc warning ".. not specified the version of HTML .." --> + <additionalJOption>-html4</additionalJOption> + </configuration> + </plugin> + </plugins> + </pluginManagement> + </build> + </profile> + <profile> <id>attach-sources</id> <activation> <property> |