rtems/rtems-docs
1
0
Fork 0
mirror of https://git.rtems.org/rtems-docs/ synced 2025-06-02 12:39:36 +08:00
Code Issues Packages Projects Releases Wiki Activity

eng: Fix builds for newer Sphinx versions (>=7)

Browse Source 
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
This commit is contained in:
Utkarsh Verma 2023-06-14 05:36:26 +00:00 committed by Chris Johns
parent bbb8b7aa81
commit 4c87f9b594
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
common/sphinx_rtd_theme_rtems/layout.html
View File

@ -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") %}