From fc1e77dc8dfa8eb76ddbc1da8dfe75ea00e54dcf Mon Sep 17 00:00:00 2001
From: Mitja Devetak <m888itja@gmail.com>
Date: Mon, 22 Jan 2024 17:29:37 +0100
Subject: [PATCH] website

---
 .github/workflows/deploy_docs.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/deploy_docs.yml b/.github/workflows/deploy_docs.yml
index 89608df..ccd0213 100644
--- a/.github/workflows/deploy_docs.yml
+++ b/.github/workflows/deploy_docs.yml
@@ -15,7 +15,8 @@ jobs:
         with:
           version: '1.10'  # Set the Julia version as required
       - name: Install dependencies
-        run: julia --project=docs/ -e 'using Pkg; Pkg.instantiate()'
+        run: |
+            julia --project=docs/ -e 'using Pkg; Pkg.add("Documenter"); Pkg.instantiate()'
       - name: Build and deploy
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}