Maybe without /?

JuliaManifolds · Nov 7, 2023 · abec708 · abec708
1 parent 1abd0ec
commit abec708
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -22,9 +22,9 @@ jobs:
             ${{ runner.os }}-test-
             ${{ runner.os }}-
       - name: Install dependencies
-        run: julia --project=docs/ -e 'using Pkg; Pkg.instantiate()'
+        run: julia --project=docs -e 'using Pkg; Pkg.instantiate()'
       - name: Aggregate and deploy
         run: |
           git config user.name github-actions
           git config user.email [email protected]
-          julia --project=docs/ docs/make.jl --deploy
+          julia --project=docs docs/make.jl --deploy
diff --git a/docs/make.jl b/docs/make.jl
@@ -40,7 +40,7 @@ Building aggregate site into: $(outpath)
 
 using MultiDocumenter, LiveServer, Documenter
 
-# Build local docs
+# Build local docs - but do bot deploy
 makedocs(;
     format=Documenter.HTML(;
         prettyurls=false, assets=["assets/favicon.ico"]