docs: update requirements.

Sphinx 4.2 or later is required for compatibility with Python 3.10.

A released version of Pygments can now be used for highlighting.

diff --git a/docs/requirements.txt b/docs/requirements.txt
index 0f513163df5ecc3514c181047588909b294e7322..305e14ae88c99486b416867fb0b75f37d7a87c1a 100644 (file)
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -1,4 +1,3 @@
-sphinx~=3.0
+sphinx~=4.2
 sphinxcontrib-platformpicker~=1.1
--e git+http://github.com/pygments/pygments.git#egg=pygments
 sphinx-rtd-theme~=0.5.0