#1882 - Switching to Github actions for CI and releases.

This commit is contained in:
Oliver Drotbohm
2022-11-16 17:32:37 +01:00
parent 2e0b835d80
commit ec7b1b288e
13 changed files with 227 additions and 506 deletions

View File

@@ -25,7 +25,7 @@
Adds reference manual (html and pdf) to the distribution archive
under the 'docs/reference' directory see pom.xml 'maven-javadoc-plugin' declaration.
-->
<directory>target/site/reference</directory>
<directory>target/generated-docs</directory>
<outputDirectory>reference</outputDirectory>
</fileSet>
<fileSet>