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

[Peter Maydell]

On Mon, 3 May 2021 at 17:14, Damien Goutte-Gattat
<dgouttegattat@incenp.org> wrote:
>
> 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>.

Thanks for this fix; sorry we didn't pick the patch up earlier.
I'm going to take it via my target-arm tree.

-- PMM