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

[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 consider not installing
the javadoc JAR by default.

Required change is implemented in attached patch.

Adding 'export MH_INSTALL_DOC=1' into d/rules overrides the setting.

Regards,

Jakub

-------------- next part --------------
A non-text attachment was scrubbed...
Name: Dont-install-doc-jar.patch
Type: text/x-diff
Size: 1259 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/pkg-java-maintainers/attachments/20130610/0bbe49c7/attachment.patch>