Fix missing search in docs

facelessuser · web-flow · commit 5d7f2559c318 · 2023-11-13T14:42:35.000-05:00
Fixes #1416.
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
