Andrew Cooper writes ("Re: [PATCH 0/3] docs: User oriented documentation"):
It turns out that I mis-interpreted the compatibility note in
https://www.kernel.org/doc/html/latest/doc-guide/sphinx.html# and
stretch is probably fine.
OK, good.
Well, I think we could say that to build this documentation you have
to have the relevant tools. sphinx is certainly well-regarded and
this is probably a worthwhile upgrade.
What do the earlier tools do ? Should we print some warning and
disable the build, or will they generate slightly-mangled output, or
what ?