diff options
author | Heinrich Schuchardt <xypron.glpk@gmx.de> | 2020-10-06 17:56:59 +0200 |
---|---|---|
committer | Tom Rini <trini@konsulko.com> | 2020-10-13 19:19:09 -0400 |
commit | ea3fa6a49e6a5a5f3a4d30748b752c6bc3597f8e (patch) | |
tree | 5722858fd4a01bfc1cf7abd418a9567672b7145a | |
parent | 689a7a7b596fb5eb111668aeeb1adc198d9afa48 (diff) | |
download | u-boot-WIP/2020-10-13-assorted-changes.tar.gz |
doc: Sphinx.override_domain() deprecatedWIP/2020-10-13-assorted-changes
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>
-rw-r--r-- | doc/sphinx/cdomain.py | 5 |
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__, |