add search to docs

ewels · Apr 21, 2024 · 84f85f9 · 84f85f9
1 parent ad332fd
commit 84f85f9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/docs/config/overview.md b/docs/config/overview.md
@@ -21,7 +21,7 @@ They are, in order of parsing / precidence (last location wins):
 An overview of all available config options in all scopes is below:
 
 | CLI                    | Environment variable | GitHub Action / Rich-codex config |
-|------------------------|----------------------|-----------------------------------|
+| ---------------------- | -------------------- | --------------------------------- |
 | `--search-include`     | `SEARCH_INCLUDE`     | `search_include`                  |
 | `--search-exclude`     | `SEARCH_EXCLUDE`     | `search_exclude`                  |
 | `--no-search`          | `NO_SEARCH`          | `no_search`                       |

diff --git a/mkdocs.yml b/mkdocs.yml
@@ -62,4 +62,5 @@ markdown_extensions:
   - pymdownx.superfences
   - pymdownx.details
 plugins:
+  - search
   - social