diff options
| -rw-r--r-- | gnu/packages/gnome.scm | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index 7103c02a43..8d58e916a5 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -6779,12 +6779,13 @@ freedesktop.org help system specification.") (base32 "1yg8f5g5wadhmy4yfd9yjhvd8vll4gq4l86ibp0b42qbxnsmcf0q")))) (build-system gnu-build-system) (native-inputs + `(("pkg-config" ,pkg-config))) + (inputs + `(("yelp-xsl" ,yelp-xsl))) + (propagated-inputs `(("itstool" ,itstool) - ("pkg-config" ,pkg-config) ("xmllint" ,libxml2) ("xsltproc" ,libxslt))) - (inputs - `(("yelp-xsl" ,yelp-xsl))) (synopsis "Yelp documentation tools") (description "Yelp-tools is a collection of scripts and build utilities to help create, |