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. :-(
Kind regards
Andreas.
--
http://fam-tille.de
