pyproject: bump sphinxcontrib-platformpicker dependency.

whitequark · whitequark · commit c06fd82cff8d · 2024-08-21T13:33:05.000Z
Fixes amaranth-lang#1484.
diff --git a/pyproject.toml b/pyproject.toml
@@ -75,7 +75,7 @@ test = [
 ]
 docs = [
   "sphinx~=7.1",
-  "sphinxcontrib-platformpicker~=1.3",
+  "sphinxcontrib-platformpicker~=1.4",
   "sphinxcontrib-yowasp-wavedrom==1.8", # exact version to avoid changes in rendering
   "sphinx-rtd-theme~=2.0",
   "sphinx-autobuild",

Original file line number	Diff line number	Diff line change
`@@ -75,7 +75,7 @@ test = [`
`75`	`75`	`]`
`76`	`76`	`docs = [`
`77`	`77`	`"sphinx~=7.1",`
`78`		`- "sphinxcontrib-platformpicker~=1.3",`
	`78`	`+ "sphinxcontrib-platformpicker~=1.4",`
`79`	`79`	`"sphinxcontrib-yowasp-wavedrom==1.8", # exact version to avoid changes in rendering`
`80`	`80`	`"sphinx-rtd-theme~=2.0",`
`81`	`81`	`"sphinx-autobuild",`