]> gitweb.fluxo.info Git - debian.git/commitdiff
Enable search master
authorSilvio Rhatto <rhatto@riseup.net>
Tue, 13 May 2025 18:58:08 +0000 (15:58 -0300)
committerSilvio Rhatto <rhatto@riseup.net>
Tue, 13 May 2025 18:58:08 +0000 (15:58 -0300)
mkdocs.yml

index 7415bddfe3679f324907dcb10ceb32b1270ac0a5..c15c779312efb215a2051a55f26e46c642e2df44 100644 (file)
@@ -22,6 +22,11 @@ theme:
 # Plugins
 # https://www.mkdocs.org/dev-guide/plugins/
 plugins:
+  # Search
+  # See https://www.mkdocs.org/user-guide/configuration/#search
+  #     https://squidfunk.github.io/mkdocs-material/setup/setting-up-site-search/
+  search: {}
+
   # Note that this might not be available in the mkdocs-material package from
   # Debian bookworm (as of 2024-08-23)
   privacy: {}