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 /user/bsps/bsps-microblaze.rst | |
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 '')
0 files changed, 0 insertions, 0 deletions