diff options
| author | Vivien Kraus <vivien@planete-kraus.eu> | 2023-11-26 19:01:46 +0100 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-12-19 23:49:38 +0100 |
| commit | 34f0b66193f4aefde3ff6da2cc7c852ed0301fd1 (patch) | |
| tree | 93494383d3bac2b1311b4d54395e55b172658a0d | |
| parent | fa1610a60c01c7b7d9842ae68a05fb9e40781d00 (diff) | |
gnu: yelp-tools: Update to 42.1.
yelp-tools has changed its version scheme, so its download URL changed.
* gnu/packages/gnome.scm (yelp-tools): Update to 42.1.
[source]: Update origin uri.
[build-system]: Change to meson-build-system.
[#:configure-flags]: Set -Dhelp=true.
[propagated-inputs]: Drop labels.
[native-inputs]: Add gettext-minimal, python, python-lxml.
Change-Id: Ibc091329275959219fdcb1af47d34e40128da889
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
| -rw-r--r-- | gnu/packages/gnome.scm | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index 194c569544..a3dcd9ac9a 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -7380,26 +7380,26 @@ freedesktop.org help system specification.") (define-public yelp-tools (package (name "yelp-tools") - (version "3.32.2") + (version "42.1") (source (origin (method url-fetch) (uri (string-append "mirror://gnome/sources/" name "/" - (version-major+minor version) "/" + (version-major version) "/" name "-" version ".tar.xz")) (sha256 - (base32 "1yg8f5g5wadhmy4yfd9yjhvd8vll4gq4l86ibp0b42qbxnsmcf0q")))) - (build-system gnu-build-system) + (base32 "01gr255nlb77462040499qx50sik17x2b2jhzncmn56l4106lj9y")))) + (build-system meson-build-system) + (arguments + (list #:configure-flags #~'("-Dhelp=true"))) (native-inputs - (list pkg-config)) + (list gettext-minimal pkg-config python python-lxml)) (inputs (list yelp-xsl)) (propagated-inputs ;; Needed by `yelp-build', `yelp-check' or 'yelp.m4'. - `(("itstool" ,itstool) - ("xmllint" ,libxml2) - ("xsltproc" ,libxslt))) + (list itstool libxml2 libxslt)) (synopsis "Yelp documentation tools") (description "Yelp-tools is a collection of scripts and build utilities to help create, |