From 9f6210cc5c114310a38ad1cc0ff5900409a7e7cc Mon Sep 17 00:00:00 2001
From: Liliana Marie Prikler <liliana.prikler@gmail.com>
Date: Sat, 16 Dec 2023 02:11:07 +0100
Subject: gnu: yelp: Build with webkitgtk-for-gtk3.

This replacement was omitted in f3da903b0169edc19e07be5a91c80488332abe09:
Yelp 42 still builds with GTK+ 3, so let's use the right Webkit.

* gnu/packages/gnome.scm (yelp)[inputs]: Replace webkitgtk with
webkitgtk-for-gtk3.
---
 gnu/packages/gnome.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
index c9a6eb78a0..a0a7d268e9 100644
--- a/gnu/packages/gnome.scm
+++ b/gnu/packages/gnome.scm
@@ -7376,7 +7376,7 @@ (define-public yelp
            man-db                                 ;for URIs like "man:ls"
            groff-minimal                          ;ditto
            sqlite
-           webkitgtk
+           webkitgtk-for-gtk3
            yelp-xsl))
     (home-page "https://wiki.gnome.org/Apps/Yelp")
     (synopsis "GNOME help browser")
-- 
cgit v1.2.3