Docs: Fix search page

This commit is contained in:
Raphael Michel
2023-02-13 14:12:29 +01:00
parent 399643fd5d
commit fdadda9910
5 changed files with 70 additions and 46 deletions
+1
View File
@@ -49,6 +49,7 @@ extensions = [
'sphinx.ext.coverage',
'sphinxcontrib.httpdomain',
'sphinxcontrib.images',
'sphinxcontrib.jquery',
'sphinxemoji.sphinxemoji',
]
if HAS_PYENCHANT: