From 4c87f9b594217786cabc84ba4d734383234e6d14 Mon Sep 17 00:00:00 2001 From: Utkarsh Verma Date: Wed, 14 Jun 2023 05:36:26 +0000 Subject: eng: Fix builds for newer Sphinx versions (>=7) The current Sphinx theme depends on the `style` parameter which got deprecated in v5.1 and finally got removed in v7. Now, the `styles` key should be preferred which is a list of stylesheets. This commit implements this change. Closes #4915 --- common/sphinx_rtd_theme_rtems/layout.html | 2 ++ 1 file changed, 2 insertions(+) (limited to 'common/sphinx_rtd_theme_rtems/layout.html') diff --git a/common/sphinx_rtd_theme_rtems/layout.html b/common/sphinx_rtd_theme_rtems/layout.html index 0fe6c65..91d67b5 100644 --- a/common/sphinx_rtd_theme_rtems/layout.html +++ b/common/sphinx_rtd_theme_rtems/layout.html @@ -67,7 +67,9 @@ {%- endblock %} {# CSS #} + {% for style in styles %} + {% endfor %} {%- for css in css_files %} {%- if css|attr("rel") %} -- cgit v1.2.3