From 678c40b94eab6af455019efcdda75620b6e11ff2 Mon Sep 17 00:00:00 2001 From: harelwa Date: Tue, 26 Dec 2023 12:38:42 +0200 Subject: [PATCH] add search to docs site --- mkdocs.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/mkdocs.yml b/mkdocs.yml index e544660b..ce210b2d 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -14,6 +14,7 @@ theme: icon: repo: fontawesome/brands/github plugins: + - search - include-markdown markdown_extensions: - admonition