[DOCS][Dev] Configure search

This commit is contained in:
Diogo Peralta Cordeiro 2021-08-03 11:14:25 +01:00 committed by Hugo Sales
parent 70ab7e7af7
commit 2473c9afa9
Signed by: someonewithpc
GPG Key ID: 7D0C7EAFC9D835A0

View File

@ -4,3 +4,18 @@ language = "en"
multilingual = false multilingual = false
src = "src" src = "src"
title = "GNU social for Developers" 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