Skip to content

fix(docs): append repo root to LOAD_PATH - #481

Merged
ocots merged 1 commit into
mainfrom
fix/docs-load-path
Oct 21, 2026
Merged

ocots merged 1 commit into
mainfrom
fix/docs-load-path

Conversation

@ocots

@ocots ocots commented Oct 21, 2026

Copy link
Copy Markdown
Member

docs/make.jl prepended the repo root to LOAD_PATH, so the root environment shadowed docs/. Extensions on weak dependencies installed only in docs/ then fail to precompile in make.jl (seen in CTFlows: StaticArrays ... does not seem to be installed, fixed by CTFlows#488). Same fix as CTSolvers 4ef5f46a: append instead of prepend, so docs/Manifest.toml wins for shared deps and the root is only used to find the local package.

🤖 Generated with Claude Code

Same fix as CTSolvers 4ef5f46a and CTFlows#488.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@ocots ocots added the run documentation Trigger the Documentation workflow on this PR label Oct 21, 2026
@ocots
ocots marked this pull request as ready for review October 21, 2026 07:49
@ocots
ocots merged commit 34bd74a into main Oct 21, 2026
11 checks passed
@ocots
ocots deleted the fix/docs-load-path branch October 21, 2026 07:49
@ocots ocots mentioned this pull request Oct 23, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

run documentation Trigger the Documentation workflow on this PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant