From 9f9a4cda5e4fa257784eb76fd85af69b02a476c6 Mon Sep 17 00:00:00 2001 From: baldurk Date: Fri, 5 Jun 2020 12:24:33 +0100 Subject: [PATCH] Fix search in chm-friendly RTD theme --- .../sphinx_rtd_theme_chm_friendly/layout.html | 35 +++++++++++-------- 1 file changed, 21 insertions(+), 14 deletions(-) diff --git a/docs/sphinx_rtd_theme_chm_friendly/layout.html b/docs/sphinx_rtd_theme_chm_friendly/layout.html index 1b75e2d8a..109e8ef84 100644 --- a/docs/sphinx_rtd_theme_chm_friendly/layout.html +++ b/docs/sphinx_rtd_theme_chm_friendly/layout.html @@ -193,20 +193,27 @@ {% if not embedded %} - - {%- for scriptfile in script_files %} - - {%- endfor %} + {% if sphinx_version >= "1.8.0" %} + + {%- for scriptfile in script_files %} + {{ js_tag(scriptfile) }} + {%- endfor %} + {% else %} + + {%- for scriptfile in script_files %} + + {%- endfor %} + {% endif %} {# RTD hosts this file, so just load on non RTD builds #} {% if not READTHEDOCS %}