From 7c5b5c3dc43d4c19a8d44ec5bc822b8fa635a04d Mon Sep 17 00:00:00 2001
From: Patrick Moehrke <rev0cation2025@outlook.com>
Date: Mon, 22 Jan 2024 17:03:22 +0200
Subject: [PATCH] Docs: update build step

---
 .github/workflows/documentation.yml | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
index ffb2480..2b4da7d 100644
--- a/.github/workflows/documentation.yml
+++ b/.github/workflows/documentation.yml
@@ -21,6 +21,14 @@ jobs:
         with:
           version: '1.10'
       - name: Install dependencies, build, and deploy
+      - run: |
+          julia --project=docs -e '
+            using Pkg
+            Pkg.develop(PackageSpec(path=pwd()))
+            Pkg.instantiate()
+            Pkg.add("Documenter")'
+      - run: julia --project=docs docs/make.jl
         env:
-          GITHUB_TOKEN: ${{ secrets.ACCESS_TOKEN }}
-        run: cd docs/ && julia --project=. -e 'using Pkg; Pkg.instantiate()' && julia --project=. make.jl
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          # Needed due to https://github.com/JuliaDocs/Documenter.jl/issues/1177
+          DOCUMENTER_KEY: ${{ secrets.ACCESS_TOKEN }}