Skip to content

Conversation

@chrisrueger
Copy link
Contributor

  • and also allow that 7.2.0 has its own pagefind search which only finds 7.2.0 files under /releases/7.2.0

Update docs build scripts to remove 'data-pagefind-body' from HTML files in _site/releases, preventing archived release documentation from being indexed by Pagefind. This follows Pagefind's recommended approach for excluding pages from the search index.

Signed-off-by: Christoph Rueger <[email protected]>
prepend the /releases/7.2.0/ to the .js and .css files so that the pagefind search will search the 7.2.0 pagefindindex which we also copied over during release.

this is only needed here once, since the previous commit makes sure this will happen automatically for next releases

Signed-off-by: Christoph Rueger <[email protected]>
@chrisrueger chrisrueger merged commit 6028cc0 into bndtools:master Jan 2, 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.

1 participant