diff options
| author | Marius Bakke <marius@gnu.org> | 2020-12-01 23:06:24 +0100 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2020-12-01 23:06:24 +0100 |
| commit | e183418ff53807d6998894cb8624da1f3f72a712 (patch) | |
| tree | 41f2ae90eb34ceb95085dc5da75aa5a08c45e529 /gnu | |
| parent | 5b580c0a2873010a3ae02b11bdd46a736f52bc8c (diff) | |
Revert "gnu: yelp-tools: De-propagate some inputs."
This reverts commit c3c92c456b25ffded596a42d11044f62dcc03baa.
Diffstat (limited to 'gnu')
| -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, |