More modern doc infrastructure

And some additional small fixes for the build.

.github/workflows/release.yml

@@ -51,10 +51,27 @@ jobs:
           gpg --quiet --batch --yes --decrypt --passphrase="${{secrets.GPG_PASSPHRASE}}" --output maven-settings.xml .github/release/maven-settings.xml.gpg
           git checkout -b release
           mvn -B release:prepare -Prelease -DreleaseVersion=${{steps.metadata.outputs.current-version}} -DdevelopmentVersion=${{steps.metadata.outputs.next-version}} -s maven-settings.xml
+          if ! git diff --quiet docs/modules/ROOT/pages/includes/attributes.adoc; then
+            git add docs/modules/ROOT/pages/includes/attributes.adoc
+            git commit -m "Update stable version for documentation"
+          fi
           git checkout ${{github.base_ref}}
           git rebase release
           mvn -B release:perform -Darguments=-DperformRelease -Prelease -s maven-settings.xml
 
+      - name: Adjust tag for documentation changes
+        run: |
+          git checkout ${{steps.metadata.outputs.current-version}}
+          mvn -B clean install -DskipTests -DskipITs
+          if ! git diff --quiet docs/modules/ROOT/pages/includes/attributes.adoc; then
+            git add docs/modules/ROOT/pages/includes/attributes.adoc
+            git commit -m "Update stable version for documentation"
+            # Move the tag after inclusion of documentation adjustments
+            git tag -f ${{steps.metadata.outputs.current-version}}
+          fi
+          # Go back to master
+          git checkout master
+
       - name: Push changes to ${{github.base_ref}}
         uses: ad-m/[email protected]
         with:
@@ -66,3 +83,4 @@ jobs:
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           tags: true
+          branch: ${{github.base_ref}}

.gitignore

@@ -3,6 +3,7 @@
 
 # Log file
 *.log
+quarkus.log.*
 
 # BlueJ files
 *.ctxt

docs/modules/ROOT/pages/includes/attributes.adoc

@@ -0,0 +1,3 @@
+:project-version: 1.1.1
+
+:examples-dir: ./../examples/