From ddc3d75b213fd5c3313be6bf46214a4dda30dfca Mon Sep 17 00:00:00 2001 From: Rino Beeli <40661605+rbeeli@users.noreply.github.com> Date: Wed, 19 Jun 2024 02:40:56 +0200 Subject: [PATCH] custom Documenter.jl --- .github/workflows/deploy_docs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/deploy_docs.yml b/.github/workflows/deploy_docs.yml index fb156fc..bc6ef26 100644 --- a/.github/workflows/deploy_docs.yml +++ b/.github/workflows/deploy_docs.yml @@ -23,7 +23,7 @@ jobs: - name: Install dependencies run: | cd docs - julia --project -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd()*"/../")); Pkg.add("https://github.com/rbeeli/Documenter.jl"); Pkg.resolve(); Pkg.instantiate()' + julia --project -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd()*"/../")); Pkg.add(url="https://github.com/rbeeli/Documenter.jl"); Pkg.resolve(); Pkg.instantiate()' - name: Build documentation run: |