On Fri, 11 Oct 2024 at 12:12, Paolo Bonzini wrote:
>
> Sphinx 8.1.0 got a lot better at detecting unreferenced footnotes, and
> we have three of them---which causes the build to fail when the latest
> version of sphinx is installed from Pip.
In particular we hit this on the macos14 CI job now:
h
On Fri, Oct 11, 2024 at 2:27 PM Peter Maydell wrote:
>
> On Fri, 11 Oct 2024 at 12:12, Paolo Bonzini wrote:
> >
> > Sphinx 8.1.0 got a lot better at detecting unreferenced footnotes, and
> > we have three of them---which causes the build to fail when the latest
> > version of sphinx is installed
Sphinx 8.1.0 got a lot better at detecting unreferenced footnotes, and
we have three of them---which causes the build to fail when the latest
version of sphinx is installed from Pip.
Patches 1 and 2 fix them, while the third is a general improvement in
the appearance of the rendered footnotes and
