summaryrefslogtreecommitdiff
path: root/doc/sphinx
diff options
context:
space:
mode:
authorHeinrich Schuchardt <xypron.glpk@gmx.de>2020-10-06 17:56:59 +0200
committerTom Rini <trini@konsulko.com>2020-10-14 11:16:34 -0400
commit40a3008632abd8bb393eefc212547456f2a5cb25 (patch)
treea5c3fe0db688a28be279cac93174389863747d23 /doc/sphinx
parentc90778ad70e2cf0844f0b10f8aad5d8cac11177a (diff)
downloadu-boot-40a3008632abd8bb393eefc212547456f2a5cb25.tar.gz
u-boot-40a3008632abd8bb393eefc212547456f2a5cb25.tar.bz2
u-boot-40a3008632abd8bb393eefc212547456f2a5cb25.zip
doc: Sphinx.override_domain() deprecated
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 <xypron.glpk@gmx.de>
Diffstat (limited to 'doc/sphinx')
-rw-r--r--doc/sphinx/cdomain.py5
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/sphinx/cdomain.py b/doc/sphinx/cdomain.py
index cf13ff3a65..cbac8e608d 100644
--- a/doc/sphinx/cdomain.py
+++ b/doc/sphinx/cdomain.py
@@ -48,7 +48,10 @@ major, minor, patch = sphinx.version_info[:3]
def setup(app):
- app.override_domain(CDomain)
+ if (major == 1 and minor < 8):
+ app.override_domain(CDomain)
+ else:
+ app.add_domain(CDomain, override=True)
return dict(
version = __version__,