doc: Do not use Sphinx 5.2.0.post0

[stephanosio]

Sphinx 5.2.0.post0 release has a known compatibility issue with the sphinx_rtd_theme (see the issue readthedocs/sphinx_rtd_theme#1343).

Revert this commit once this compatibility issue is resolved.

Signed-off-by: Stephanos Ioannidis root@stephanos.io

[stephanosio]

As a future change, it would be good to require a particular version of the Sphinx, theme, and its friends in the requirements-doc.txt to prevent problems like this. There is no reason why we should be using the latest version.

[gmarull]

As a future change, it would be good to require a particular version of the Sphinx, theme, and its friends in the requirements-doc.txt to prevent problems like this. There is no reason why we should be using the latest version.

If we do this, we need to finally enforce usage of virtual environments, other softwares may require other versions. Still, it’s not a great practice because we do not control what subdependencies need, so best is to be flexible and potentially use lock files. We in fact use the ~= version specifier meaning “compatible”, ie 5.x. It seems that Sphinx is not following the rule (or they’ve made a mistake).