diff --git a/docs b/docs
index 3bf1910e..ef7532bd 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 3bf1910e0520b37ff0e74f0c5c022745cd163f6b
+Subproject commit ef7532bd35b4a1841c33207485c7e834572568d8
diff --git a/tox.ini b/tox.ini
index 9f71ed25..67323226 100644
--- a/tox.ini
+++ b/tox.ini
@@ -53,6 +53,7 @@ deps =
     sphinx
     sphinx_rtd_theme
     sphinx-notfound-page
+    sphinx_copybutton
     restructuredtext-lint
 commands =
     sphinx-build -W -b html -d {envtmpdir}/doctrees docs docs/_build/html