diff options
author | Laurent Pinchart <laurent.pinchart@ideasonboard.com> | 2023-07-28 22:11:45 +0300 |
---|---|---|
committer | Laurent Pinchart <laurent.pinchart@ideasonboard.com> | 2023-07-31 22:58:58 +0300 |
commit | 6cb92b523bd60bd7718df134cc5b1eff51cf42e5 (patch) | |
tree | 75676c7fecca18a60ba110eaa7ede635fa335406 /.gitignore | |
parent | fe73f05475ddd71a28005b3da13e05bae201098a (diff) |
Documentation: theme: Fix compilation with Sphinx >= 7.0.0
Sphinx 7.0.0 has dropped support for the deprecated 'style' variable
(https://github.com/sphinx-doc/sphinx/pull/11381). This breaks
compilation of the documentation:
/usr/bin/sphinx-build -D release=v0.1.0+16-eed6a079 -q -W -b html Documentation Documentation/html
Theme error:
An error happened in rendering the page api-html/index.
Reason: UndefinedError("'style' is undefined")
The recommended replacement is 'styles[-1]'. However, this resolves to
'_static/css/theme.css', which is part of the 'css_styles' variable, and
results in the stylesheet being included twice. To avoid that and fix
the compilation error, simply drop the first reference.
Signed-off-by: Laurent Pinchart <laurent.pinchart@ideasonboard.com>
Tested-by: Kieran Bingham <kieran.bingham@ideasonboard.com>
Reviewed-by: Kieran Bingham <kieran.bingham@ideasonboard.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions