gnu: Add python-sphinx-copybutton.
authorRicardo Wurmus <rekado@elephly.net>
Thu, 12 Sep 2019 21:00:22 +0000 (23:00 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Thu, 12 Sep 2019 22:44:57 +0000 (00:44 +0200)
commitbcb22b3624e677231b50029fea63e3b6e4978b2d
treea532593999d68e935ef50fd1c823768479f9ade5
parent5ea654cfe030165efadf1f1dcfb2adef66a1f44f
gnu: Add python-sphinx-copybutton.

* gnu/packages/sphinx.scm (python-sphinx-copybutton): New variable.
gnu/packages/sphinx.scm