Subject: bug#38833: closed (gnu: Add gnome-user-docs and gnome-getting-started-docs.)

From: [email-masked] (GNU bug Tracking System)
Date: Wed, 01 Jan 2020 16:22:03 +0000

Your bug report

#38833: gnu: Add gnome-user-docs.

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
38833: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=38833
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: gnu: Add gnome-user-docs and gnome-getting-started-docs.
From: Tobias Geerinckx-Rice <[email-masked]>
To: [email-masked], [email-masked]
Date: Wed, 01 Jan 2020 17:21:04 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Raghav,

I've pushed these as 823b77fb0d22c21d74820d959ab07e0d63af2bfb & 
al. with a tweak to the commit message (‘(…):’, not ‘(…).’, please 
adjust your snippet/workflow :-) and fleshed-out descriptions from 
my & Debian's hand.

Thanks!

T G-R

Subject: gnu: Add gnome-user-docs.
From: Raghav Gururajan <[email-masked]>
To: [email-masked]
Date: Tue, 31 Dec 2019 11:06:47 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello Guix!

Please find the attached patch to add gnome-user-docs.

Thank you!

Regards,
RG.
From 1bd0fb2d082b2757a2f9cff3ab1708456d46c8a8 Mon Sep 17 00:00:00 2001
From: Raghav Gururajan <[email-masked]>
Date: Tue, 31 Dec 2019 11:03:46 -0500
Subject: [PATCH] gnu: Add gnome-user-docs.

* gnu/packages/gnome.scm (gnome-user-docs). New variable.
---
 gnu/packages/gnome.scm | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)

diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
index 51c561e3ed..90ac8893e2 100644
--- a/gnu/packages/gnome.scm
+++ b/gnu/packages/gnome.scm
@@ -346,6 +346,33 @@ 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 GNOME desktop")
+   (description "GNOME User Docs contains documents which are
+packaged and shipped as gnome-getting-started-docs in the core
+GNOME distribution. The documents are targeted for end-users
+and system administrators of GNOME and have general
+GNOME applicability.")
+   (home-page "https://live.gnome.org/DocumentationProject")
+   (license license:cc-by3.0)))
+
 (define-public gnome-getting-started-docs
   (package
    (name "gnome-getting-started-docs")
-- 
2.24.1