aboutsummaryrefslogtreecommitdiff
path: root/gnu
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
parent822befbcae1ba3e06327c4dd9865bcfd61a49616 (diff)
downloadguix-9f6210cc5c114310a38ad1cc0ff5900409a7e7cc.tar.gz
guix-9f6210cc5c114310a38ad1cc0ff5900409a7e7cc.zip
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')
-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")