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

Utkarsh Verma utkarsh at bitbanged.com
Wed Jun 14 05:36:12 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.

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

 common/sphinx_rtd_theme_rtems/layout.html | 2 ++
 1 file changed, 2 insertions(+)

-- 
2.41.0



More information about the devel mailing list