[PATCH 1/1] eng: Fix builds for newer Sphinx versions (>=7)

Utkarsh Verma utkarsh at bitbanged.com
Wed Jun 14 05:36:26 UTC 2023


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.
---
 common/sphinx_rtd_theme_rtems/layout.html | 2 ++
 1 file changed, 2 insertions(+)

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 %}
   <link rel="stylesheet" href="{{ pathto('_static/' + style, 1) }}" type="text/css" />
+  {% endfor %}
   <link rel="stylesheet" href="{{ pathto('_static/pygments.css', 1) }}" type="text/css" />
   {%- for css in css_files %}
     {%- if css|attr("rel") %}
-- 
2.41.0



More information about the devel mailing list