On top of this, I generally also do PYTHON=python3, just in case the
Sphinx doc needs to invoke the interpreter...
i don't think this is good idea. If Sphinx doc needs to invoke interpreter, it should do it in more smart way. Overriding default is not solution, just fix that docs source code.