From e8b2b11b014d25faae3c46e5045c417378d2e54c Mon Sep 17 00:00:00 2001
From: Vivien Kraus <vivien@planete-kraus.eu>
Date: Thu, 18 Nov 2021 14:20:12 +0100
Subject: [PATCH] gnu: devhelp: Add missing propagated input.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* gnu/packages/gnome.scm (devhelp) [propagated-inputs]: Add
gsettings-desktop-schemas.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
---
 gnu/packages/gnome.scm | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
index f07ff28701ccad1af6489114330d29abba3f7909..956ae68ad9a00772bc6a619a6f183e0252236d75 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)