From c541481dc5fb1ae0fb792fb082ae2b46006aa3dc Mon Sep 17 00:00:00 2001
From: Niels Lohmann <mail@nlohmann.me>
Date: Wed, 3 Aug 2022 09:53:02 +0200
Subject: [PATCH] :construction_worker: add job to publish the documentation

---
 .github/workflows/publish_documentation.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/publish_documentation.yml b/.github/workflows/publish_documentation.yml
index 5680ac93f..01d874a3e 100644
--- a/.github/workflows/publish_documentation.yml
+++ b/.github/workflows/publish_documentation.yml
@@ -17,7 +17,11 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3
+      - name: install PlantUML
+        run: sudo apt-get install -y plantuml
+      - name: install virtual environment
+        run: make install_venv -C docs/mkdocs
       - name: build documentation
-        run: make install_venv build -C docs/mkdocs
+        run: make build -C docs/mkdocs
       - name: publish documentation
         run: make publish -C docs/mkdocs