Skip to content

Add search plugin to MkDocs#43

Merged
meshy merged 3 commits intokraken-tech:mainfrom
Abdulaziz-Hassan:add-search-to-docs
Sep 22, 2025
Merged

Add search plugin to MkDocs#43
meshy merged 3 commits intokraken-tech:mainfrom
Abdulaziz-Hassan:add-search-to-docs

Conversation

@Abdulaziz-Hassan
Copy link
Contributor

@Abdulaziz-Hassan Abdulaziz-Hassan commented Sep 22, 2025

Overview

Other changes

  • Several options could be added as extra configs to the plugin, if needed, such as:

  • separator, currently whitespace and hyphen are used.

  • min_search_length, minimum length for a search query, defaults to 3

@Abdulaziz-Hassan
Copy link
Contributor Author

Do you perhaps have automatic bumping of the changelog or should I manually bump the patch version?

@Abdulaziz-Hassan Abdulaziz-Hassan marked this pull request as ready for review September 22, 2025 11:02
@Abdulaziz-Hassan Abdulaziz-Hassan requested a review from a team as a code owner September 22, 2025 11:02
@meshy meshy merged commit f990e5e into kraken-tech:main Sep 22, 2025
5 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.

Add search to docs

2 participants

Comments