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.
amaranth-lang · Nov 5, 2021 · 369cc59 · 369cc59
1 parent 8081df1
commit 369cc59
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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