commit 12b0c569250e91442dc32bfb87f95002e071df26
author Heinrich Schuchardt <xypron.glpk@gmx.de> Tue Oct 06 17:56:59 2020 +0200
committer Tom Rini <trini@konsulko.com> Wed Oct 14 11:16:34 2020 -0400
tree a5c3fe0db688a28be279cac93174389863747d23
parent 7c7b3c95c3e4e01c6304928af9aa575d82922266

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>

doc/sphinx/cdomain.py

diff --git a/doc/sphinx/cdomain.py b/doc/sphinx/cdomain.py
index cf13ff3..cbac8e6 100644
--- a/doc/sphinx/cdomain.py
+++ b/doc/sphinx/cdomain.py
@@ -48,7 +48,10 @@
 
 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__,