Skip to content

[WIP] Add search bar to the documentation site#13

Merged
g3force merged 2 commits into
mainfrom
claude/add-search-bar-to-docs
May 11, 2026
Merged

[WIP] Add search bar to the documentation site#13
g3force merged 2 commits into
mainfrom
claude/add-search-bar-to-docs

Conversation

@Claude
Copy link
Copy Markdown

@Claude Claude AI commented May 11, 2026

Thanks for asking me to work on this. I will get started on it and keep this PR's description up to date as I form a plan and make progress.


This section details on the original issue you should resolve

<issue_title>Add a search bar to the documentation site</issue_title>
<issue_description>There is no integrated search bar on the Antora site yet.

Use https://gitlab.com/antora/antora-lunr-extension to add one.

Also see https://github.com/qaware/clean-documentation-template as a working example for reference.</issue_description>

Comments on the Issue (you are @claude[agent] in this section)

@Claude Claude AI assigned Claude and g3force May 11, 2026
@Claude Claude AI linked an issue May 11, 2026 that may be closed by this pull request
@Claude Claude AI requested a review from g3force May 11, 2026 13:48
- Add @antora/lunr-extension to package.json dependencies
- Configure lunr extension in antora-playbook.yml
- Install dependencies
- Add to header
@g3force g3force force-pushed the claude/add-search-bar-to-docs branch from 33128f8 to b6aa06c Compare May 11, 2026 14:21
@g3force g3force marked this pull request as ready for review May 11, 2026 14:23
@g3force g3force merged commit d154d6b into main May 11, 2026
1 check passed
@g3force g3force deleted the claude/add-search-bar-to-docs branch May 11, 2026 14:24
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.

Add a search bar to the documentation site

2 participants