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