From 655a300acb25a3c6686d3dc5e04f42fe0663287e Mon Sep 17 00:00:00 2001 From: Matthias Date: Wed, 28 Aug 2024 20:27:16 +0200 Subject: [PATCH] docs: re-establish search box on develop documentation --- mkdocs.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/mkdocs.yml b/mkdocs.yml index a9b86b4fd..9e67f1f71 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -117,5 +117,7 @@ extra: provider: mike alias: true plugins: + - search: + enabled: true - mike: deploy_prefix: 'en'