run makeLocal.jl

singular-gpispace · Mar 6, 2024 · 1027ce5 · 1027ce5
1 parent 8b7d72d
commit 1027ce5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/document.yml b/.github/workflows/document.yml
@@ -20,4 +20,4 @@ jobs:
       - name: Build and deploy
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
-        run: julia --color=yes --project=docs/ docs/make.jl
+        run: julia --color=yes --project=docs/ docs/makeLocal.jl