On Tue, Oct 06, 2020 at 05:56:59PM +0200, Heinrich Schuchardt wrote:
> Sphinx.override_domain() is deprecated since Sphinx 1.8 and removed in
> Sphinx 3.
>
> Use Sphinx.add_domain(, override=True) instead.
>
> Signed-off-by: Heinrich Schuchardt
Applied to u-boot/master, thanks!
--
Tom
sign
Sphinx.override_domain() is deprecated since Sphinx 1.8 and removed in
Sphinx 3.
Use Sphinx.add_domain(, override=True) instead.
Signed-off-by: Heinrich Schuchardt
---
v2:
Ubuntu 18.04 still uses Sphinx 1.6.7
So use the same version check as Linux.
---
doc/sphinx/cdomain.py | 2
2 matches
Mail list logo