Stephan Schroevers ae7068f464 Fix Javadoc JAR generation (#246) ...

For performance reasons, the Javadoc JARs are not generated when executing `mvn
install`. They are generally only compiled when running `mvn release:perform`,
as part of the `release` Maven profile.

The downside of this setup is that Javadoc generation issues may not be caught
until release time. This change resolves such an issue. To prevent future
regressions, Javadoc generation is now also performed by the GitHub Actions
build workflow.

While there, drop the deprecated `useReleaseProfile` configuration setting of
the javadoc-maven-plugin, as its value matches the default.

2022-09-20 13:42:52 +02:00

..

workflows

Fix Javadoc JAR generation (#246)

2022-09-20 13:42:52 +02:00

release.yml

Introduce release.yml to improve GitHub release notes generation (#213)

2022-08-24 16:31:15 +02:00