Re: [PATCH v2] doc: Sphinx.override_domain() deprecated

2020-10-14 Thread Tom Rini
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

[PATCH v2] doc: Sphinx.override_domain() deprecated

2020-10-06 Thread Heinrich Schuchardt
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