On 1/24/19 5:47 PM, Andreas Tille wrote: > Hi Markus, > > On Thu, Jan 24, 2019 at 12:27:35PM +0100, Markus Koschany wrote: >> If the documentation is not super important to you, I recommend to just >> drop the -doc package. > Doc is absolutely not important - its just a predependency of one of my > packages. Do you have a hint where to poke to get rid of the doc > creation. I fiddled around a bit with the pom.xmls but failed. :-(
should be able to add in pom.xml <properties> <maven.javadoc.skip>true</maven.javadoc.skip> </properties> else can be specified via mvn cmdline -Dmaven.javadoc.skip=true but as mvn is executed by maven debhelper I don't know hwo to add this argument > > Kind regards > > Andreas. > -- Olivier Sallou Univ Rennes, Inria, CNRS, IRISA Irisa, Campus de Beaulieu F-35042 RENNES - FRANCE Tel: 02.99.84.71.95 gpg key id: 4096R/326D8438 (keyring.debian.org) Key fingerprint = 5FB4 6F83 D3B9 5204 6335 D26D 78DC 68DB 326D 8438
