[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] docs: Fix installation of man pages with Sphinx 4.x
From: |
Peter Maydell |
Subject: |
Re: [PATCH] docs: Fix installation of man pages with Sphinx 4.x |
Date: |
Thu, 3 Jun 2021 10:18:18 +0100 |
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Re: [PATCH] docs: Fix installation of man pages with Sphinx 4.x,
Peter Maydell <=