diff --git a/.github/workflows/publish_documentation.yml b/.github/workflows/publish_documentation.yml
index bae7701a0..0ce394331 100644
--- a/.github/workflows/publish_documentation.yml
+++ b/.github/workflows/publish_documentation.yml
@@ -18,7 +18,9 @@ jobs:
     steps:
       - uses: actions/checkout@v3
       - name: Install PlantUML
-        run: sudo apt-get install -y plantuml ; which plantuml ; plantuml -version ; cat $(which plantuml)
+        run: sudo apt-get install -y plantuml
+      - name: Patch PlantUML
+        run: wget https://github.com/plantuml/plantuml/releases/download/v1.2022.6/plantuml-1.2022.6.jar ; mv plantuml-1.2022.6.jar /usr/share/plantuml/plantuml.jar ; plantuml -version
       - name: Install virtual environment
         run: make install_venv -C docs/mkdocs
       - name: Build documentation