amaranth/docs/requirements.txt

sphinx~=4.2
sphinxcontrib-platformpicker~=1.3
sphinx-rtd-theme~=1.0
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. 2021-10-08 11:48:00 -06:00			`sphinx~=4.2`
docs: update sphinxcontrib-platformpicker. 2022-01-01 22:19:50 -07:00			`sphinxcontrib-platformpicker~=1.3`
docs: update sphinx-rtd-theme. Incorporate the fix for readthedocs/sphinx_rtd_theme#1168. 2021-12-28 13:41:19 -07:00			`sphinx-rtd-theme~=1.0`