docs: re-establish search box on develop documentation

2024-09-20 09:31:12 +00:00 · 2024-08-28 20:27:16 +02:00 · 2024-08-28 20:27:16 +02:00 · 655a300acb
commit 655a300acb
parent 8d61d66d79
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'