diff --git a/.github/workflows/publish_documentation.yml b/.github/workflows/publish_documentation.yml
index c21188d40..1c254e0ee 100644
--- a/.github/workflows/publish_documentation.yml
+++ b/.github/workflows/publish_documentation.yml
@@ -18,7 +18,7 @@ jobs:
     steps:
       - uses: actions/checkout@v3
       - name: Install PlantUML
-        run: sudo apt-get update ; sudo apt-get install -y plantuml
+        run: sudo apt-get install -y plantuml ; which plantuml ; plantuml -version
       - name: Install virtual environment
         run: make install_venv -C docs/mkdocs
       - name: Build documentation