diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-09-12 23:00:22 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-09-13 00:44:57 +0200 |
| commit | bcb22b3624e677231b50029fea63e3b6e4978b2d (patch) | |
| tree | a532593999d68e935ef50fd1c823768479f9ade5 /gnu | |
| parent | 5ea654cfe030165efadf1f1dcfb2adef66a1f44f (diff) | |
gnu: Add python-sphinx-copybutton.
* gnu/packages/sphinx.scm (python-sphinx-copybutton): New variable.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/sphinx.scm | 21 |
1 files changed, 20 insertions, 1 deletions
diff --git a/gnu/packages/sphinx.scm b/gnu/packages/sphinx.scm index 5ec769388a..9bd1e8d421 100644 --- a/gnu/packages/sphinx.scm +++ b/gnu/packages/sphinx.scm @@ -1,6 +1,6 @@ ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2014 David Thompson <davet@gnu.org> -;;; Copyright © 2015, 2017 Ricardo Wurmus <rekado@elephly.net> +;;; Copyright © 2015, 2017, 2019 Ricardo Wurmus <rekado@elephly.net> ;;; Copyright © 2015, 2016, 2017 Leo Famulari <leo@famulari.name> ;;; Copyright © 2016 Hartmut Goebel <h.goebel@crazy-compilers.com> ;;; Copyright © 2016, 2017, 2018, 2019 Marius Bakke <mbakke@fastmail.com> @@ -163,6 +163,25 @@ sources.") Apple help books.") (license license:bsd-2))) +(define-public python-sphinx-copybutton + (package + (name "python-sphinx-copybutton") + (version "0.2.5") + (source + (origin + (method url-fetch) + (uri (pypi-uri "sphinx-copybutton" version)) + (sha256 + (base32 + "1bk006nv5s9ym6v67cxd4d2wvd8wm6czqi21mqcs33risygksncl")))) + (build-system python-build-system) + (home-page "https://github.com/choldgraf/sphinx-copybutton") + (synopsis "Sphinx extension to add \"copy\" buttons to code blocks") + (description + "This package provides a small sphinx extension to add \"copy\" buttons +to code blocks.") + (license license:expat))) + (define-public python-sphinxcontrib-devhelp (package (name "python-sphinxcontrib-devhelp") |