On Tue, 30 Mar 2021 at 09:29, Marc-André Lureau <marcandre.lur...@gmail.com> wrote: > > Hi > > On Mon, Mar 29, 2021 at 9:54 PM Peter Maydell <peter.mayd...@linaro.org> > wrote: >> aarch64 CI machine, which has python 3.8.5 and sphinx-build 1.8.5. >> My guess is that it might be the sphinx-build version here. I vaguely >> recall that Sphinx is kind of picky about exceptions within the conf >> file but that there was a change in what it allowed at some point. >> It's possible we just can't do much with the old versions. > > > How do you run the build? Running make from an existing configured or build > state? If so, I have seen sphinx errors that don't stop the build (and > actually building the docs without sphinx-rtd). I don't know why this > happens, "regenerate"/reconfigure errors should stop the build.
On that machine, yes, it's an incremental build. thanks -- PMM
