Fix searchindex.js loading by porting sphinx-doc/sphinx#6091

jkromwijk · jkromwijk · commit 4bed3f6b5544 · 2019-11-10T02:34:48.000+01:00
Hopefully a more future-proof fix, removing the dependency on ajax and
searchtools.js altogether. (After loading, searchindex.js itself does
depend on searchtools.js, but both are updated with the version of
sphinx that is used, unlike this template.)

Because the script is loaded with `defer` and also right at the end of
the body, the size of searchindex.js should not block loading the rest
of the page (one of the arguments for using ajax).
diff --git a/doc/_templates/search.html b/doc/_templates/search.html
@@ -41,8 +41,5 @@ <h2>{{ _('Search Results') }}</h2>
 {% endblock %}
 {% block footer %}
   {{ super() }}
-<script type="text/javascript">
-    jQuery(function() { Search.loadIndex("searchindex.js"); });
-</script>
-<script type="text/javascript" id="searchindexloader"></script>
+  <script type="text/javascript" src="{{ pathto('searchindex.js', 1) }}" defer></script>
 {% endblock %}
