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 /docs/pom.xml | |
| 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 'docs/pom.xml')
| -rw-r--r-- | docs/pom.xml | 5 |
1 files changed, 4 insertions, 1 deletions
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 @@ <profile> <id>create-docs</id> <activation> - <activeByDefault>true</activeByDefault> + <property> + <name>createDocs</name> + <value>true</value> + </property> </activation> <build> |