From: whitequark <whitequark@whitequark.org>
Date: Sun, 5 Jul 2020 23:51:14 +0000 (+0000)
Subject: docs: use working sphinxcontrib-platformpicker.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e1fd4e8d2a555fa20513ce5065416ca8ab8424c3;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