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

[Chris Johns]

Pushed. I added a close for the ticket to the commit message.

Thank you for looking into this and fixing it.

Chris


On 14/6/2023 3:36 pm, Utkarsh Verma wrote:
> 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") %}