Update build-docs.sh

JuliaPlots · Oct 13, 2024 · 12d1a41 · 12d1a41
1 parent cc021f6
commit 12d1a41
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/ci/build-docs.sh b/ci/build-docs.sh
@@ -76,7 +76,7 @@ JULIA_PKG_PRECOMPILE_AUTO=0 $julia -e '
 '
 
 echo "== build documentation for $GITHUB_REPOSITORY@$GITHUB_REF, triggered by $GITHUB_ACTOR on $GITHUB_EVENT_NAME =="
-$julia <<'EOF'
+JULIA_PKG_PRECOMPILE_AUTO=0 $julia -e '
 using Pkg
 
 rev = split(ENV["GITHUB_REF"], "/", limit=3)[3]
@@ -93,5 +93,5 @@ Pkg.develop([
 Pkg.add(PackageSpec(; name="Plots", rev))
 
 Pkg.instantiate()
-EOF
+'
 $julia docs/make.jl