Another change to fix docs search problem.

2022-11-18 10:11:13 -05:00 · 2022-11-18 10:11:13 -05:00 · 77b0f906eb
parent a8221cad50
commit 77b0f906eb
1 changed files with 2 additions and 1 deletions
--- a/mkdocs.yml
+++ b/mkdocs.yml
@ -3,5 +3,6 @@ theme:
    name: mkdocs
    custom_dir: docs_modification/
 plugins:
-  - search
+  - search:
+        prebuild_index: true