Bug#711852: maven.pm: Don't install documentation jar into maven-repo by default

2013-07-30 Thread Emmanuel Bourg
An alternative is to specify the target used to generated the javadoc. By default javadoc:jar is called. Switching to javadoc:javadoc solves this issue: DEB_MAVEN_DOC_TARGET := javadoc:javadoc I would suggest changing the default target though. __ This is the maintainer address of Debian's

Bug#711852: maven.pm: Don't install documentation jar into maven-repo by default

2013-06-10 Thread Jakub Adam
Package: maven-debian-helper Severity: wishlist Tags: patch Standard place where generated javadoc API documentation is installed on Debian system is /usr/share/doc/package-name/api/. Maven dh build installs it also a JAR in maven-repo. Having this duplicate file isn't necessary, so please