diff options
author | Alexander Kriegisch <Alexander@Kriegisch.name> | 2021-06-10 12:11:03 +0700 |
---|---|---|
committer | Alexander Kriegisch <Alexander@Kriegisch.name> | 2021-06-10 12:11:03 +0700 |
commit | 33846f488645d1821122f3aeeba6a8085adeeffe (patch) | |
tree | 3d9c489cefc11fe818d3560495f1653ce442ca1b /installer | |
parent | 437b348674bb90e9b226a559d3b2736845e20d20 (diff) | |
download | aspectj-33846f488645d1821122f3aeeba6a8085adeeffe.tar.gz aspectj-33846f488645d1821122f3aeeba6a8085adeeffe.zip |
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 <Alexander@Kriegisch.name>
Diffstat (limited to 'installer')
-rw-r--r-- | installer/pom.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/installer/pom.xml b/installer/pom.xml index 082c27640..74f83354b 100644 --- a/installer/pom.xml +++ b/installer/pom.xml @@ -54,6 +54,8 @@ --> <!-- By default, do not deploy artifacts - but deploy this public one --> <!--<maven.deploy.skip>false</maven.deploy.skip>--> + <!-- By default, do not sign artifacts - but sign this public one --> + <!--<maven.gpg.skip>false</maven.gpg.skip>--> </properties> <dependencies> |