docs: use working sphinxcontrib-platformpicker.

diff --git a/docs/requirements.txt b/docs/requirements.txt
index 9ac1c1d5a7ca7afb7b5518f17d35bd66d4c61c96..0f513163df5ecc3514c181047588909b294e7322 100644 (file)
--- 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