11.5.9 Copy artifact

This copies the artifact build by a certain Maven project to a Maven-style local repository This is used by the binary distribution build script.

./tools/artifacter/target/artifacter-dev -a -s <source-repo> -d <dest-repo>