diff options
| author | Tom Rini <trini@konsulko.com> | 2023-09-04 10:51:58 -0400 |
|---|---|---|
| committer | Tom Rini <trini@konsulko.com> | 2023-09-04 10:51:58 -0400 |
| commit | ddec4cae624e48c3678ea856fa7d6292a7104238 (patch) | |
| tree | bb04231fb05cf9d3fc018bf874bbb6e8373968d8 /doc/conf.py | |
| parent | f2bb6d9ffd9ba0d0d89c00445a70cf81327a7af2 (diff) | |
| parent | b27eeca112c1b9eef6f06a320a4310d766ac5659 (diff) | |
Merge tag 'v2023.10-rc4' into next
Prepare v2023.10-rc4
Diffstat (limited to 'doc/conf.py')
| -rw-r--r-- | doc/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/conf.py b/doc/conf.py index 00f24136647..5e2ff1c8f5e 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -39,7 +39,7 @@ needs_sphinx = '2.4.4' extensions = ['kerneldoc', 'rstFlatTable', 'kernel_include', 'kfigure', 'sphinx.ext.ifconfig', # 'automarkup', 'maintainers_include', 'sphinx.ext.autosectionlabel', - 'kernel_abi', 'kernel_feat'] + 'kernel_abi', 'kernel_feat', 'sphinx-prompt'] # # cdomain is badly broken in Sphinx 3+. Leaving it out generates *most* |