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'