From d230abaa8233f31bdd36b7b322c83cb78733f4b9 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 78d9a54d9c3..b22688a39d6 100644
--- a/conf.py
+++ b/conf.py
@@ -8,7 +8,7 @@
 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'