Message ID | 20241011111249.47530-1-pbonzini@redhat.com |
---|---|
Headers | show |
Series | docs: fix and cleanup footnotes | expand |
On Fri, 11 Oct 2024 at 12:12, Paolo Bonzini <pbonzini@redhat.com> 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: https://gitlab.com/qemu-project/qemu/-/jobs/8054823697 I'll give this a bit more time on-list for review from others if they want to, but I plan to apply this directly to fix that CI job on Monday. -- PMM
On Fri, Oct 11, 2024 at 2:27 PM Peter Maydell <peter.maydell@linaro.org> wrote: > > On Fri, 11 Oct 2024 at 12:12, Paolo Bonzini <pbonzini@redhat.com> 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: > > https://gitlab.com/qemu-project/qemu/-/jobs/8054823697 > > I'll give this a bit more time on-list for review from > others if they want to, but I plan to apply this directly > to fix that CI job on Monday. Ok, I'll also include it in my pull request anyway. Paolo