diff options
| author | gjoranv <gv@oath.com> | 2018-11-20 14:46:37 +0100 |
|---|---|---|
| committer | gjoranv <gv@oath.com> | 2019-01-21 15:09:27 +0100 |
| commit | 81182050f567673fc3180764b3645fb76ca85dc5 (patch) | |
| tree | cae51ade6b09ccbe7d316efb7b3d5b93e8bd3f18 /parent | |
| parent | 0fb27af8c2d6b8e5ebb0255e21c220a89ce05eba (diff) | |
Generate html5 javadoc
Diffstat (limited to 'parent')
| -rw-r--r-- | parent/pom.xml | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/parent/pom.xml b/parent/pom.xml index 398d136c155..2e22c36cee3 100644 --- a/parent/pom.xml +++ b/parent/pom.xml @@ -280,28 +280,6 @@ </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> - <quiet>true</quiet> - <!-- 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> |