docs: re-establish search box on develop documentation

2025-11-29 08:33:07 +00:00 · 2024-08-28 20:27:16 +02:00
parent 8d61d66d79
commit 655a300acb
1 changed files with 2 additions and 0 deletions
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -117,5 +117,7 @@ extra:
    provider: mike
    alias: true
 plugins:
+  - search:
+      enabled: true
  - mike:
      deploy_prefix: 'en'