Fix missing search in docs

Fixes #1416.
Python-Markdown · Nov 13, 2023 · 5d7f255 · 5d7f255
1 parent bc14d59
commit 5d7f255
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -64,6 +64,7 @@ markdown_extensions:
       repo: markdown
 
 plugins:
+- search
 - gen-files:
     scripts:
     - scripts/gen_ref_nav.py