From 64e9ab5078f434f0d7438dc00c0769727bb1983d Mon Sep 17 00:00:00 2001
From: Tim Hoffmann <2836374+timhoffm@users.noreply.github.com>
Date: Tue, 12 Jan 2021 00:18:01 +0100
Subject: [PATCH] Fix sphinx search

Sphinx stopped loading language_data.js globally in 3.4.
This file now has to be loaded explicitly on the search page.

See

- https://github.com/sphinx-doc/sphinx/pull/8445
- https://github.com/readthedocs/sphinx_rtd_theme/pull/1021
---
 doc/_templates/search.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/_templates/search.html b/doc/_templates/search.html
index 54f1d3338e0c..6e285090cc40 100644
--- a/doc/_templates/search.html
+++ b/doc/_templates/search.html
@@ -3,6 +3,7 @@
 {%- block scripts %}
     {{ super() }}
     <script type="text/javascript" src="{{ pathto('_static/searchtools.js', 1) }}"></script>
+    <script type="text/javascript" src="{{ pathto('_static/language_data.js', 1) }}"></script>
 {%- endblock %}
 {% block body %}
   <h1 id="search-documentation">{{ _('Search') }}</h1>