]> source.dussan.org Git - jgit.git/commit
projects / jgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c0a9736) | patch
Fix configuration of maven-javadoc-plugin 31/130531/1
authorMatthias Sohn <matthias.sohn@sap.com>
Sat, 6 Oct 2018 08:55:47 +0000 (10:55 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Sat, 6 Oct 2018 08:55:47 +0000 (10:55 +0200)
commitf07e48cc10814e7525f6a120f16f8330ea37207c
tree6e9a56d9fa6790802313f9b686bbe8de22248d4ftree | snapshot
parentc0a973657f13fa72e4be0f42c02969f98ac69641commit | diff
Fix configuration of maven-javadoc-plugin

Since maven-javadoc-plugin additionalJOption replaces additionalparam to
pass additional options to JavaDoc.

See https://maven.apache.org/plugins/maven-javadoc-plugin/javadoc-mojo.html#additionalJOption

Change-Id: Iddff5873520a181bcb9edf285b0c8db532e930ee
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
pom.xml diff | blob | history
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit