[PATCH] docs: Fix installation of man pages with Sphinx 4.x

[Damien Goutte-Gattat]

The 4.x branch of Sphinx introduces a breaking change, as generated man
pages are now written to subdirectories corresponding to the manual
section they belong to. This results in `make install` erroring out when
attempting to install the man pages, because they are not where it
expects to find them.

This patch restores the behavior of Sphinx 3.x regarding man pages.

Signed-off-by: Damien Goutte-Gattat <dgouttegattat@incenp.org>
---
 docs/conf.py | 1 +
 1 file changed, 1 insertion(+)

FYI: For more information about this behavior change of Sphinx, see the 
relevant issue: <https://github.com/sphinx-doc/sphinx/issues/7996>.

diff --git a/docs/conf.py b/docs/conf.py
index 2ee6111872..4bc7298ca8 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -269,6 +269,7 @@
      ['Stefan Hajnoczi <stefanha@redhat.com>',
       'Masayoshi Mizuma <m.mizuma@jp.fujitsu.com>'], 1),
 ]
+man_make_section_directory = False
 
 # -- Options for Texinfo output -------------------------------------------
 
-- 
2.27.0