gnu: Add gnome-getting-started-docs.

* gnu/packages/gnome.scm (gnome-getting-started-docs): New variable.

Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
This commit is contained in:
Raghav Gururajan 2019-12-31 10:21:20 -05:00 committed by Tobias Geerinckx-Rice
parent 6076945534
commit be93299dfe
No known key found for this signature in database
GPG key ID: D889B0F018C5493C

View file

@ -346,6 +346,34 @@ (define-public deja-dup
either on a local, or remote machine via a number of methods.")
(license license:gpl3+)))
(define-public gnome-getting-started-docs
(package
(name "gnome-getting-started-docs")
(version "3.32.2")
(source
(origin
(method url-fetch)
(uri (string-append "mirror://gnome/sources/gnome-getting-started-docs/"
(version-major+minor version)
"/gnome-getting-started-docs-" version ".tar.xz"))
(sha256
(base32 "1v4k465mlzrhgcdddzs6bmm0yliyrfx6jg3gh0s17a08i0w5rbwq"))))
(build-system gnu-build-system)
(native-inputs
`(("gettext" ,gettext-minimal)
("itstool" ,itstool)
("pkg-config" ,pkg-config)
("xmllint" ,libxml2)))
(synopsis "Help to get new users started with the GNOME desktop")
(description
"The GNOME Getting Started Documentation contains GNOME's intuitive
\"Getting Started\" tour, with video guides, that can be viewed with Yelp.
It is normally used together with @command{gnome-initial-setup}, but is also
useful as a tutorial and users' guide for new or less experienced users.")
(home-page "https://live.gnome.org/DocumentationProject")
(license license:cc-by-sa3.0)))
(define-public dia
;; This version from GNOME's repository includes fixes for compiling with
;; recent versions of the build tools. The latest activity on the