branch wip-webkit updated: gnu: yelp: Build with webkitgtk-for-gtk3.

[guix-commits]

This is an automated email from the git hooks/post-receive script.

lilyp pushed a commit to branch wip-webkit
in repository guix.

The following commit(s) were added to refs/heads/wip-webkit by this push:
     new 9f6210cc5c gnu: yelp: Build with webkitgtk-for-gtk3.
9f6210cc5c is described below

commit 9f6210cc5c114310a38ad1cc0ff5900409a7e7cc
Author: Liliana Marie Prikler <liliana.prikler@gmail.com>
AuthorDate: Sat Dec 16 02:11:07 2023 +0100

    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 @@ jQuery.Syntax JavaScript libraries.")
            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")