From: whitequark <whitequark@whitequark.org>
Date: Sun, 5 Jul 2020 23:51:14 +0000 (+0000)
Subject: docs: use working sphinxcontrib-platformpicker.
X-Git-Tag: 24jan2021_ls180~40
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=175c8a596ef1adaa74961a47e48a0ed441c05809;p=nmigen.git

docs: use working sphinxcontrib-platformpicker.
---

diff --git a/docs/requirements.txt b/docs/requirements.txt
index 9ac1c1d..0f51316 100644
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -1,4 +1,4 @@
 sphinx~=3.0
-sphinxcontrib-platformpicker~=1.0
+sphinxcontrib-platformpicker~=1.1
 -e git+http://github.com/pygments/pygments.git#egg=pygments
 sphinx-rtd-theme~=0.5.0