From 0f1115979ef664f3e9db2b421a739763e6e41639 Mon Sep 17 00:00:00 2001 From: Olivier Cots Date: Wed, 21 Oct 2026 08:47:52 +0200 Subject: [PATCH] fix(docs): append repo root to LOAD_PATH so docs/ wins Same fix as CTSolvers 4ef5f46a and CTFlows#488. Co-Authored-By: Claude Sonnet 5.5 --- docs/make.jl | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/docs/make.jl b/docs/make.jl index 07c70278f..602db02a6 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -2,8 +2,11 @@ # julia --project=. docs/make.jl # to serve the documentation: # npx serve docs/build/1 --listen 5173 -pushfirst!(LOAD_PATH, joinpath(@__DIR__, "..")) -pushfirst!(LOAD_PATH, joinpath(@__DIR__)) +# Append (not prepend): docs/Manifest.toml must win for shared deps; the repo root is only +# needed to find the local OptimalControl. Prepending it lets the root environment shadow docs/ and +# breaks the precompilation of extensions on weak dependencies installed only in docs/. +push!(LOAD_PATH, joinpath(@__DIR__)) +push!(LOAD_PATH, joinpath(@__DIR__, "..")) # control-toolbox packages using OptimalControl