From f059ed50a0dd0be10a70b2512a2e91709fdad5e3 Mon Sep 17 00:00:00 2001
From: Gergely Imreh <gergely.imreh@faculty.ai>
Date: Thu, 16 Dec 2021 16:50:19 +0800
Subject: [PATCH] fix search through bumping the underlying RTD theme that
 fixed the issue

The search issue was due to Sphinx changes and fixed in https://github.com/readthedocs/sphinx_rtd_theme/pull/1021
that was released in the 0.5.1 version of the theme, so that's the earliest we
can bump to to have functioning search again.

Looking at versions since then, the latest (1.0.0) version seems
to have identical results in the compiled documentation, so
bumping to that version is likely more future proof.
---
 setup.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/setup.py b/setup.py
index 89c0506..dd35fbd 100644
--- a/setup.py
+++ b/setup.py
@@ -30,7 +30,7 @@
     packages=["faculty_sphinx_theme"],
     use_scm_version={"version_scheme": "post-release"},
     setup_requires=["setuptools_scm"],
-    install_requires=["sphinx-rtd-theme==0.4.3"],
+    install_requires=["sphinx-rtd-theme==1.0.0"],
     package_data={
         "faculty_sphinx_theme": [
             "theme.conf",