diff --git a/ci/build-docs.sh b/ci/build-docs.sh
index a84a587b3..f7e2bd72e 100644
--- 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