Re: [PATCH] docs/conf.py: Raise ConfigError for bad Sphinx Python version

2020-03-16 Thread Peter Maydell
On Fri, 13 Mar 2020 at 22:30, John Snow wrote: > When was ConfigError introduced, and what's our minimum Sphinx version? > (Hm, looks like it's not versioned, so I'll trust it's been around a while.) Yeah, it's been around a long time; our minimum Sphinx version is 1.3. thanks -- PMM

Re: [PATCH] docs/conf.py: Raise ConfigError for bad Sphinx Python version

2020-03-13 Thread John Snow
On 3/13/20 12:36 PM, Peter Maydell wrote: > Raise ConfigError rather than VersionRequirementError when we detect > that the Python being used by Sphinx is too old. > > Currently the way we flag the Python version problem up to the user > causes Sphinx to print an unnecessary Python stack trace

[PATCH] docs/conf.py: Raise ConfigError for bad Sphinx Python version

2020-03-13 Thread Peter Maydell
Raise ConfigError rather than VersionRequirementError when we detect that the Python being used by Sphinx is too old. Currently the way we flag the Python version problem up to the user causes Sphinx to print an unnecessary Python stack trace as well as the information about the problem; in most