docs: upgrade Sphinx.

2023-02-17 09:59:19 +00:00 · 2023-02-17 09:59:19 +00:00 · e2f0519774
parent 12a81f24bd
commit e2f0519774
2 changed files with 3 additions and 3 deletions
--- a/docs/conf.py
+++ b/docs/conf.py
@ -6,7 +6,7 @@ import amaranth
 project = "Amaranth HDL toolchain"
 version = amaranth.__version__
 release = version.split("+")[0]
-copyright = "2020—2021, Amaranth HDL developers"
+copyright = "2020—2023, Amaranth HDL developers"

 extensions = [
 	"sphinx.ext.intersphinx",
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@ -1,3 +1,3 @@
-sphinx~=4.2
+sphinx~=6.1
 sphinxcontrib-platformpicker~=1.3
-sphinx-rtd-theme~=1.0
+sphinx-rtd-theme~=1.2