summary refs log tree commit diff
path: root/gnu/packages
diff options
context:
space:
mode:
authorLiliana Marie Prikler <liliana.prikler@gmail.com>2023-12-16 02:11:07 +0100
committerLiliana Marie Prikler <liliana.prikler@gmail.com>2023-12-16 02:11:07 +0100
commit9f6210cc5c114310a38ad1cc0ff5900409a7e7cc (patch)
treeb0328d700eefa66dc78a4c761c6191de7dabdff8 /gnu/packages
parent822befbcae1ba3e06327c4dd9865bcfd61a49616 (diff)
downloadguix-9f6210cc5c114310a38ad1cc0ff5900409a7e7cc.tar.gz
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.
Diffstat (limited to 'gnu/packages')
-rw-r--r--gnu/packages/gnome.scm2
1 files changed, 1 insertions, 1 deletions
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")