Skip to content

Add pagefind search#3

Merged
3di-techx merged 6 commits into
3di-ros-pocfrom
add-pagefind-search
May 21, 2026
Merged

Add pagefind search#3
3di-techx merged 6 commits into
3di-ros-pocfrom
add-pagefind-search

Conversation

@3di-techx

Copy link
Copy Markdown
Owner

Description

Replaced Sphinx default search with pagefind (https://pagefind.app/)

Added a “make html-search” and “make multiversion-search” command to build the full output plis search index.

3di-techx and others added 5 commits May 19, 2026 07:40
Signed-off-by: 3di-techx <47863458+3di-techx@users.noreply.github.com>
@3di-techx 3di-techx merged commit 97d081d into 3di-ros-poc May 21, 2026
3 of 5 checks passed
@3di-techx 3di-techx deleted the add-pagefind-search branch May 21, 2026 14:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant