diff options
| author | Jani Nikula <jani@nikula.org> | 2021-05-19 00:40:44 +0300 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2021-05-19 08:26:22 -0300 |
| commit | 5197d3e11f5774a5eb9989cdbea07112a7f18fb8 (patch) | |
| tree | 6088b2bfa946e179745b902c01b1736c5c9412c3 /doc | |
| parent | b580009e2bc69efb019983bf2f7dc5052c19545a (diff) | |
doc: fix man page build for Sphinx 4.x
Sphinx 4.0 changed the default value of man_make_section_directory
from False to True. We create the section directories and move the
files manually, so fix the immediate man build failure by disabling
the feature.
The Sphinx documentation on this [1] is confusing, and has the change
backwards. Git history says the default changed from False to True.
[1] https://www.sphinx-doc.org/en/master/usage/configuration.html#confval-man_make_section_directory
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/conf.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/conf.py b/doc/conf.py index 1a5c217b..d0f7f66c 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -87,6 +87,8 @@ html_use_smartypants = False notmuch_authors = u'Carl Worth and many others' +man_make_section_directory = False + man_pages = [ ('man1/notmuch', 'notmuch', u'thread-based email index, search, and tagging', |