[DOCS][Dev] Configure search

This commit is contained in:
Diogo Peralta Cordeiro 2021-08-03 11:14:25 +01:00
parent 7f3a9bc880
commit e8f57e8380
Signed by: diogo
GPG Key ID: 18D2D35001FBFAB0

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