diff options
author | Vivien Kraus <vivien@planete-kraus.eu> | 2021-11-18 14:20:12 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2021-11-18 14:43:49 +0100 |
commit | e8b2b11b014d25faae3c46e5045c417378d2e54c (patch) | |
tree | e6bcb40eb69800317bb60e473d1fc67c69c9b769 | |
parent | b0eaa4f2d73cd7746a41d1f970b95243f2098458 (diff) | |
download | guix-e8b2b11b014d25faae3c46e5045c417378d2e54c.tar.gz guix-e8b2b11b014d25faae3c46e5045c417378d2e54c.zip |
gnu: devhelp: Add missing propagated input.
* gnu/packages/gnome.scm (devhelp) [propagated-inputs]: Add
gsettings-desktop-schemas.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
-rw-r--r-- | gnu/packages/gnome.scm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index f07ff28701..956ae68ad9 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -5801,6 +5801,8 @@ both a traditional UI or a modern UI with a GtkHeaderBar.") (lambda _ (substitute* "devhelp/meson.build" (("'WebKit2-4.0'") "'WebKit2-4.1'"))))))) + (propagated-inputs + `(("gsettings-desktop-schemas" ,gsettings-desktop-schemas))) (native-inputs `(("intltool" ,intltool) ("itstool" ,itstool) |