usb-tools/amaranth
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

docs: update sphinx-rtd-theme.

Browse source 
Incorporate the fix for readthedocs/sphinx_rtd_theme#1168.
This commit is contained in:
Catherine 2021-12-28 20:41:19 +00:00
parent 39a83f4d99
commit aa749567e4
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
docs/requirements.txt
View file

@ -1,3 +1,3 @@
sphinx~=4.2 sphinx~=4.2
sphinxcontrib-platformpicker~=1.1 sphinxcontrib-platformpicker~=1.1
sphinx-rtd-theme~=0.5.0 sphinx-rtd-theme~=1.0