From 8c53dccfb0b981e13a5ffe6e923a085e0042ce83 Mon Sep 17 00:00:00 2001
From: Richard Steinmetz <richard@steinmetz.cloud>
Date: Wed, 22 Mar 2023 07:10:10 +0100
Subject: [PATCH] fix: explictly add sphinx_rtd_theme to extensions to fix
 search

Ref https://sphinx-rtd-theme.readthedocs.io/en/stable/changelog.html#known-issues

Signed-off-by: Richard Steinmetz <richard@steinmetz.cloud>
---
 conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/conf.py b/conf.py
index bb2af79b8..8f638409d 100644
--- a/conf.py
+++ b/conf.py
@@ -8,7 +8,7 @@ dir_path = os.path.dirname(os.path.realpath(__file__))
 sys.path.insert(0, os.path.abspath(dir_path + '/_ext'))
 now = datetime.datetime.now()
 
-extensions = []
+extensions = ['sphinx_rtd_theme']
 
 # General information about the project.
 copyright = str(now.year) + ' Nextcloud GmbH'