The default build should include documentation

Description

Currently the Maven based build does not enable the profiles which will trigger documentation build (PDFs) and the aggregated javadoc validation.

Since it shouldn't take very long to build these anymore (it used to), we should now enable these profiles by default to:

  • simplify build instructions (see README)

  • catch errors in javadoc earlier in the development process

Environment

None

Status

Assignee

Sanne Grinovero

Reporter

Sanne Grinovero

Labels

None

Suitable for new contributors

None

Feedback Requested

None

Components

Fix versions

Priority

Minor