Fix building docs with sphinx 3.x

2020-05-11 16:09:56 +10:00 · 2020-05-11 16:09:56 +10:00 · e3673fd869
parent f4d65b0d6e
commit e3673fd869
1 changed files with 1 additions and 1 deletions
--- a/doc/python_api/sphinx_doc_gen.py
+++ b/doc/python_api/sphinx_doc_gen.py
@ -1712,7 +1712,7 @@ class PatchedPythonDomain(PythonDomain):

    fw("def setup(app):\n")
    fw("    app.add_stylesheet('css/theme_overrides.css')\n")
-    fw("    app.override_domain(PatchedPythonDomain)\n\n")
+    fw("    app.add_domain(PatchedPythonDomain, override=True)\n\n")

    file.close()