Re: [PATCH] scripts/sphinx-pre-install: make it handle Sphinx versions

[Jonathan Corbet]

On Wed, 22 May 2019 13:28:34 -0400
Mauro Carvalho Chehab <mchehab+samsung@xxxxxxxxxx> wrote:

> As we want to switch to a newer Sphinx version in the future,
> add some version detected logic, checking if the current
> version meets the requirement and suggesting upgrade it the
> version is supported but too old.
> 
> Signed-off-by: Mauro Carvalho Chehab <mchehab+samsung@xxxxxxxxxx>

I've applied this in the branch with my other fixes (coming soon to a
mailing list near you), thanks.  I do think we eventually want to emit a
warning during a normal docs build as well, and to raise the recommended
version, but one step at a time...

jon