On 5/16/21 6:03 PM, Peter Maydell wrote: > On Sat, 15 May 2021 at 20:02, Marc-André Lureau > <[email protected]> wrote: >> Otherwise, you should get a warning and doc will be disabled. Mine is less >> ugly than yours, not sure why: > > I think that's a sphinx-version dependent thing. I requested that > they improve the support for conf.py raising ConfigError to produce > nicer error messages in https://github.com/sphinx-doc/sphinx/issues/7108 > but if your sphinx is too old to have that improvement then you'll > get a warning message with the backtrace.
Ah, probably, the issue #7108 appears to be merged in milestone 3.0.0, and the version installed on Fedora 32 is: $ /usr/bin/sphinx-build-3 --version sphinx-build-3 2.2.2 Thanks, Phil.
