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