From 9fc944fb561a7e7a01c59e81efb8f47de52230a0 Mon Sep 17 00:00:00 2001
From: Tilman Hinnerichs <tilman@hinnerichs.com>
Date: Fri, 19 Jan 2024 14:37:43 +0100
Subject: [PATCH] Update dependencies for documentation compilation

---
 .github/workflows/documentation.yml | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
index c18c2f2..3d864ce 100644
--- a/.github/workflows/documentation.yml
+++ b/.github/workflows/documentation.yml
@@ -18,7 +18,16 @@ jobs:
         with:
           version: '1.8'
       - name: Install dependencies
-        run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
+        run: julia --project=docs/ -e '
+          using Pkg
+          Pkg.develop(PackageSpec(path=pwd()))
+          Pkg.develop("HerbCore")
+          Pkg.develop("HerbGrammar")
+          Pkg.develop("HerbData")
+          Pkg.develop("HerbInterpret")
+          Pkg.develop("HerbConstraints")
+          Pkg.develop("HerbSearch")
+          Pkg.instantiate()'
       - name: Build and deploy
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # If authenticating with GitHub Actions token