From 2473c9afa9c5fbce7fe34893db6a3a22d10986e1 Mon Sep 17 00:00:00 2001 From: Diogo Peralta Cordeiro Date: Tue, 3 Aug 2021 11:14:25 +0100 Subject: [PATCH] [DOCS][Dev] Configure search --- docs/developer/book.toml | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/docs/developer/book.toml b/docs/developer/book.toml index 70430f66bc..24dc3b5842 100644 --- a/docs/developer/book.toml +++ b/docs/developer/book.toml @@ -4,3 +4,18 @@ language = "en" multilingual = false src = "src" title = "GNU social for Developers" + +[output.html] +mathjax-support = true + +[output.html.playpen] +copy-js = true + +[output.html.search] +limit-results = 20 +use-boolean-and = true +boost-title = 2 +boost-hierarchy = 2 +boost-paragraph = 1 +expand = true +heading-split-level = 2 \ No newline at end of file