From 407b1f672b47a652ab437fb01969d24d4b32762b 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",