diff options
author | Utkarsh Verma <utkarsh@bitbanged.com> | 2023-06-14 05:36:26 +0000 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2023-06-14 15:45:56 +1000 |
commit | 4c87f9b594217786cabc84ba4d734383234e6d14 (patch) | |
tree | fd8b5b7fcaf3b00b0153832a8ccf97c592b9cfcc /common/sphinx_rtd_theme_rtems/layout.html | |
parent | Update company name (diff) | |
download | rtems-docs-4c87f9b594217786cabc84ba4d734383234e6d14.tar.bz2 |
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
Diffstat (limited to '')
-rw-r--r-- | common/sphinx_rtd_theme_rtems/layout.html | 2 |
1 files changed, 2 insertions, 0 deletions
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") %} |