From b1b3492d4ee000aae61d1f711e0694ee43f19e59 Mon Sep 17 00:00:00 2001 From: Mirko Date: Fri, 17 Sep 2021 21:39:47 +0200 Subject: [PATCH] Fixes missing documentation_options (#7624) --- doc/sources/.templates/layout.html | 44 ++++++++++++++++++------------ 1 file changed, 26 insertions(+), 18 deletions(-) diff --git a/doc/sources/.templates/layout.html b/doc/sources/.templates/layout.html index a87dc0bac..99b1f0f66 100644 --- a/doc/sources/.templates/layout.html +++ b/doc/sources/.templates/layout.html @@ -96,24 +96,32 @@ {%- if not embedded %} - -{%- block scripts %} - {%- for scriptfile in script_files %} - - {%- endfor %} - - - -{%- endblock %} + {%- block scripts %} + {% if sphinx_version >= "1.8.0" %} + + {%- for scriptfile in script_files %} + {{ js_tag(scriptfile) }} + {%- endfor %} + {% else %} + + {%- for scriptfile in script_files %} + + {%- endfor %} + {% endif %} + + + + {%- endblock %} {%- if use_opensearch %}