On Wed, 30 May 2018, Holger Mappt wrote:
Build the files to do what with them?
Hmm. I think because these are a Quasi-Standard :-) Don't know.
Would a nodist directory parallel to dist be an option if the JARs are not to be uploaded to the repository?
They could be in the <plugin>/dist. Would that be ok? Ciao -- http://www.dstoecker.eu/ (PGP key available)