From 823b77fb0d22c21d74820d959ab07e0d63af2bfb Mon Sep 17 00:00:00 2001 From: Raghav Gururajan Date: Tue, 31 Dec 2019 11:03:46 -0500 Subject: gnu: Add gnome-user-docs. * gnu/packages/gnome.scm (gnome-user-docs): New variable. Signed-off-by: Tobias Geerinckx-Rice --- gnu/packages/gnome.scm | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) 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") -- cgit v1.2.3