diff --git a/src/doc/common/themes/sage/search.html b/src/doc/common/themes/sage/search.html
index 88d5813bead..9fd50179913 100644
--- a/src/doc/common/themes/sage/search.html
+++ b/src/doc/common/themes/sage/search.html
@@ -9,7 +9,10 @@
 #}
 {% extends "layout.html" %}
 {% set title = _('Search') %}
-{% set script_files = script_files + ['_static/searchtools.js'] %}
+{%- block scripts %}
+    {{ super() }}
+    <script type="text/javascript" src="{{ pathto('_static/searchtools.js', 1) }}"></script>
+{%- endblock %}
 {% block extrahead %}
   <script type="text/javascript">
     jQuery(function() { Search.loadIndex("{{ pathto('searchindex.js', 1) }}"); });