docs: enable site search via @antora/lunr-extension - #428
Conversation
|
An automated preview of the documentation is available at https://428.capy.prtest3.cppalliance.org/index.html If more commits are pushed to the pull request, the docs will rebuild at the same URL. 2026-09-25 19:39:49 UTC |
Codecov Report✅ All modified and coverable lines are covered by tests. Additional details and impacted files@@ Coverage Diff @@
## develop #428 +/- ##
========================================
Coverage 98.09% 98.09%
========================================
Files 130 130
Lines 6289 6289
========================================
Hits 6169 6169
Misses 120 120
Flags with carried forward coverage won't be shown. Click here to find out more. Continue to review full report in Codecov by Harness.
🚀 New features to boost your workflow:
|
|
GCOVR code coverage report https://428.capy.prtest3.cppalliance.org/gcovr/index.html Build time: 2026-09-25 19:52:49 UTC |
Closes #401.
@antora/lunr-extensionwas already a dependency indoc/package.jsonbut was never registered underantora.extensionsindoc/local-playbook.yml, so the built site shipped no search. This registers it, first in the extension list withindex_latest_only: true, matching the convention used by Boost.URL, dynamic_bitset, and openmethod.Verified with a full local
build_antora.shrun:search-index.js(2.8 MB) is generated at the site root_/js/vendor/lunr.jsand_/js/search-ui.jsare injected by the extensionNo UI-bundle changes are needed: the Boost UI's
toolbar.hbsandfooter-scripts.hbsare gated onSITE_SEARCH_PROVIDER, which the extension sets at build time.