Skip to content

docs: vendor the VitePress config; serve static assets from public/ - #497

Draft
lkdvos wants to merge 1 commit into
mainfrom
docs/vitepress-config
Draft

docs: vendor the VitePress config; serve static assets from public/#497
lkdvos wants to merge 1 commit into
mainfrom
docs/vitepress-config

Conversation

@lkdvos

@lkdvos lkdvos commented Aug 3, 2026

Copy link
Copy Markdown
Member

Split out of #449 so it can be reviewed on its own; independent of the documentation content.

MarkdownVitepress does not expose themeConfig.search or markdown.config, so docs/src/.vitepress/config.mts is vendored from the DocumenterVitepress template with the MPSKit hooks added on top. Since a vendored copy silently rots, make.jl checksums the upstream template and warns when it changes, naming the versions our copy is a faithful superset of.

The theme CSS carries the fixes for #477 and #478 (docstring heading rendering, library search) and restores admonition styling.

VitePress serves src/public/ verbatim at the site root, which is what the logo and favicon need; src/assets/ is for files Documenter processes. Moved accordingly.

🤖 Generated with Claude Code

`MarkdownVitepress` does not expose `themeConfig.search` or `markdown.config`, so
`docs/src/.vitepress/config.mts` is vendored from the DocumenterVitepress template with
the MPSKit-specific hooks added on top. Since a vendored copy silently rots, `make.jl`
checksums the upstream template and warns when it changes, naming the two template
versions our copy is known to be a faithful superset of.

VitePress serves files under `src/public/` verbatim at the site root, which is what the
logo and favicon need; `src/assets/` is for files Documenter itself processes. Move them
accordingly and add the landing-page feature icons alongside.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@github-actions

github-actions Bot commented Aug 3, 2026

Copy link
Copy Markdown
Contributor

After the build completes, the updated documentation will be available here

@codecov

codecov Bot commented Aug 4, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
see 1 file with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Documentation search can't target html identifiers in the lib page Markdown titles in docstrings not rendering properly in published docs pages

1 participant