From 5788d51a4e59e0e69673ab6f539b1d128e8a49c6 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 1/3] gnu: devhelp: Add missing propagated input.

* gnu/packages/gnome.scm (devhelp) [propagated-inputs]: Add
gsettings-desktop-schemas.
---
 gnu/packages/gnome.scm | 2 ++
 1 file changed, 2 insertions(+)

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 @@ (define-public devhelp
            (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)
-- 
2.34.0