website

Devetak · Jan 22, 2024 · fc1e77d · fc1e77d
1 parent 38fb65e
commit fc1e77d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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 }}