diff options
| author | Tom Rini <trini@konsulko.com> | 2020-10-14 13:35:05 -0400 |
|---|---|---|
| committer | Tom Rini <trini@konsulko.com> | 2020-10-14 13:35:05 -0400 |
| commit | 6731c5a5ef30e1581e3042b11893627f42949cd7 (patch) | |
| tree | a5c3fe0db688a28be279cac93174389863747d23 /doc/sphinx/cdomain.py | |
| parent | 55fca74a5ba9bb0a101b247f421e81322b945a7b (diff) | |
| parent | 40a3008632abd8bb393eefc212547456f2a5cb25 (diff) | |
Merge branch '2020-10-14-assorted-changes'
- Add support for Linux "pstore" dumps.
- Button command fixup.
- gd cleanup and documentation.
- Assorted other cleanups.
Diffstat (limited to 'doc/sphinx/cdomain.py')
| -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 cf13ff3a656..cbac8e608dc 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__, |