From 33846f488645d1821122f3aeeba6a8085adeeffe Mon Sep 17 00:00:00 2001 From: Alexander Kriegisch Date: Thu, 10 Jun 2021 12:11:03 +0700 Subject: Document build profiles and properties in docs/developer/BUILD.md In doing so, I also noticed a few things in need of improvement. So, documenting the build also drive those enhancements, such as - the new 'fast-build' profile skipping test compilation and execution as well as documentation generation, - an option to skip generating source assemblies, - to skip unzipping source assemblies if javadoc generation for them is to be skipped too, - activating the 'create-docs' profile by property which is true by default instead of using 'activeByDefault=true', because the latter does not work reliably if other profiles are activated manually according to a Maven bug that was closed as "won't fix", - no longer generating separate javadocs for the 'runtime' module, because that module is not deployed and the main artifacts recreate Javadocs from scratch for all of their constituent sources anyway. Signed-off-by: Alexander Kriegisch --- docs/pom.xml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'docs/pom.xml') diff --git a/docs/pom.xml b/docs/pom.xml index f2caccaf8..57baa3603 100644 --- a/docs/pom.xml +++ b/docs/pom.xml @@ -14,7 +14,10 @@ create-docs - true + + createDocs + true + -- cgit v1.2.3