Ci can no more generate documentation
Job #2637037 failed for 4b2aeca68115:
because the new docker image of sphinxdoc/sphinx does not contain anymore setuptools which is required by doc/conf.py
because it runs setup.py
to retrieve the description and version.