Skip to content

Add pagefind search#1

Merged
3di-techx merged 18 commits into
rollingfrom
add-pagefind-search
May 20, 2026
Merged

Add pagefind search#1
3di-techx merged 18 commits into
rollingfrom
add-pagefind-search

Conversation

@3di-techx

Copy link
Copy Markdown
Owner

Description

Replaced default sphinx search with pageFind.

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

The build is slower when building the search engine, so allowed an option not to build the search index

Additional Information

Requires topic metadata to be updated to work correctly

@3di-techx 3di-techx merged commit ec2022f into rolling May 20, 2026
3 checks passed
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.

2 participants