diff options
| author | Raghav Gururajan <raghavgururajan@disroot.org> | 2020-09-24 04:14:35 -0400 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@scratchpost.org> | 2020-12-01 22:06:03 +0100 |
| commit | 416b1b9f56b514677660b56992cea1c78e00f519 (patch) | |
| tree | 8d701ef64474b73de55c0a880d5cbddefc5e3c03 /gnu/packages/gnome.scm | |
| parent | 695cdc87987cbd2ccf59cc61c1ccf135476cb509 (diff) | |
| download | guix-patches-416b1b9f56b514677660b56992cea1c78e00f519.tar guix-patches-416b1b9f56b514677660b56992cea1c78e00f519.tar.gz | |
gnu: yelp-tools: Make some cosmetic changes.
* gnu/packages/gnome.scm (yelp-tools): Make some cosmetic changes.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
Diffstat (limited to 'gnu/packages/gnome.scm')
| -rw-r--r-- | gnu/packages/gnome.scm | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index b16302afde..8d58e916a5 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -6768,31 +6768,31 @@ freedesktop.org help system specification.") (package (name "yelp-tools") (version "3.32.2") - (source (origin - (method url-fetch) - (uri (string-append "mirror://gnome/sources/" name "/" - (version-major+minor version) "/" - name "-" version ".tar.xz")) - (sha256 - (base32 - "1yg8f5g5wadhmy4yfd9yjhvd8vll4gq4l86ibp0b42qbxnsmcf0q")))) + (source + (origin + (method url-fetch) + (uri + (string-append "mirror://gnome/sources/" name "/" + (version-major+minor version) "/" + name "-" version ".tar.xz")) + (sha256 + (base32 "1yg8f5g5wadhmy4yfd9yjhvd8vll4gq4l86ibp0b42qbxnsmcf0q")))) (build-system gnu-build-system) (native-inputs `(("pkg-config" ,pkg-config))) + (inputs + `(("yelp-xsl" ,yelp-xsl))) (propagated-inputs - ;; Needed by `yelp-build', `yelp-check' or 'yelp.m4'. `(("itstool" ,itstool) ("xmllint" ,libxml2) ("xsltproc" ,libxslt))) - (inputs - `(("yelp-xsl" ,yelp-xsl))) - (home-page "https://wiki.gnome.org/Apps/Yelp/Tools") (synopsis "Yelp documentation tools") (description "Yelp-tools is a collection of scripts and build utilities to help create, manage, and publish documentation for Yelp and the web. Most of the heavy lifting is done by packages like yelp-xsl and itstool. This package just wraps things up in a developer-friendly way.") + (home-page "https://wiki.gnome.org/Apps/Yelp/Tools") (license license:gpl2+))) (define-public libgee |