diff options
| author | Raghav Gururajan <raghavgururajan@disroot.org> | 2019-12-31 11:03:46 -0500 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-01-01 17:17:49 +0100 |
| commit | 823b77fb0d22c21d74820d959ab07e0d63af2bfb (patch) | |
| tree | 29b36c0453bd417b352d12557f2dd62c9a1f27f3 | |
| parent | be93299dfe5800ca89f5f89e24e4af24b562707b (diff) | |
| download | patches-823b77fb0d22c21d74820d959ab07e0d63af2bfb.tar patches-823b77fb0d22c21d74820d959ab07e0d63af2bfb.tar.gz | |
gnu: Add gnome-user-docs.
* gnu/packages/gnome.scm (gnome-user-docs): New variable.
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
| -rw-r--r-- | gnu/packages/gnome.scm | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index 8e96c61137..9e2b0a4584 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -346,6 +346,32 @@ uses duplicity as the backend, which supports incremental backups and storage either on a local, or remote machine via a number of methods.") (license license:gpl3+))) +(define-public gnome-user-docs + (package + (name "gnome-user-docs") + (version "3.32.3") + (source + (origin + (method url-fetch) + (uri (string-append "mirror://gnome/sources/gnome-user-docs/" + (version-major+minor version) + "/gnome-user-docs-" version ".tar.xz")) + (sha256 + (base32 "0dvsl0ldg8rf7yq0r4dv1pn41s7gjgcqp7agkbflkbmhrl6vbhig")))) + (build-system gnu-build-system) + (native-inputs + `(("gettext" ,gettext-minimal) + ("itstool" ,itstool) + ("pkg-config" ,pkg-config) + ("xmllint" ,libxml2))) + (synopsis "User documentation for the GNOME desktop") + (description + "The GNOME User Documentation explains how to use the GNOME desktop and its +components. It covers usage and setup of the core GNOME programs by end-users +and system administrators.") + (home-page "https://live.gnome.org/DocumentationProject") + (license license:cc-by3.0))) + (define-public gnome-getting-started-docs (package (name "gnome-getting-started-docs") |