From 59c953656dbd2e65265a2c850f2375afc9d69589 Mon Sep 17 00:00:00 2001 From: Jani Nikula Date: Wed, 19 May 2021 00:40:44 +0300 Subject: [PATCH] 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 --- doc/conf.py | 2 ++ 1 file changed, 2 insertions(+) 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', -- 2.43.0