👷 add job to publish the documentation

.github/workflows/publish_documentation.yml

@@ -4,7 +4,8 @@ name: Publish documentation
 on:
   push:
     branches:
-      - develop
+      #- develop
+      - documentation_update
 
 # we don't want to have concurrent jobs, and we don't want to cancel running jobs to avoid broken publications
 concurrency:
@@ -13,18 +14,12 @@ concurrency:
 
 jobs:
   publish_documentation:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-22.04
     steps:
       - uses: actions/checkout@v3
 
-      # We need a recent PlantUML version to generate UML diagrams. The version from Ubuntu is outdated, so we
-      # need to replace the JAR file with a release from PlantUML's GitHub page.
       - name: Install and update PlantUML
-        run: |
-          sudo apt-get install -y plantuml
-          wget https://github.com/plantuml/plantuml/releases/download/v1.2022.6/plantuml-1.2022.6.jar
-          sudo mv plantuml-1.2022.6.jar /usr/share/plantuml/plantuml.jar
-          plantuml -version
+        run: sudo apt-get install -y plantuml
 
       - name: Install virtual environment
         run: make install_venv -C docs/mkdocs