diff options
author | Campbell Barton <ideasman42@gmail.com> | 2020-05-11 09:09:56 +0300 |
---|---|---|
committer | Campbell Barton <ideasman42@gmail.com> | 2020-05-11 09:09:56 +0300 |
commit | e3673fd8696228237d23765c8256058b3b046be3 (patch) | |
tree | fb87d5f0e8709696368904d3f5424f1bef3a4c3c /doc | |
parent | f4d65b0d6eeab7da5955aacd5eb99e717fbb77d5 (diff) |
Fix building docs with sphinx 3.x
Diffstat (limited to 'doc')
-rw-r--r-- | doc/python_api/sphinx_doc_gen.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/python_api/sphinx_doc_gen.py b/doc/python_api/sphinx_doc_gen.py index ee91bbc64b1..36ec0174d80 100644 --- 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() |