diff --git a/mkdocs.yml b/mkdocs.yml index 7860f8565..dbd0833a4 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -134,6 +134,7 @@ markdown_extensions: custom_checkbox: true plugins: + - search - redirects: redirect_maps: 'sources.md': 'concepts/sources.md'