Merge pull request #164 from JulianGro/fix_search

Fix search on Sphinx 3.4.x
vircadia · Jun 15, 2021 · 6beae5f · 6beae5f
2 parents 381c09e + 5ff536d
commit 6beae5f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/source/_templates/search.html b/docs/source/_templates/search.html
@@ -12,6 +12,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 footer %}
   <script type="text/javascript">