gnu: yelp: Build with webkitgtk-for-gtk3.
This replacement was omitted in f3da903b01
:
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.
This commit is contained in:
parent
822befbcae
commit
9f6210cc5c
1 changed files with 1 additions and 1 deletions
|
@ -7376,7 +7376,7 @@ jQuery.Syntax JavaScript libraries.")
|
||||||
man-db ;for URIs like "man:ls"
|
man-db ;for URIs like "man:ls"
|
||||||
groff-minimal ;ditto
|
groff-minimal ;ditto
|
||||||
sqlite
|
sqlite
|
||||||
webkitgtk
|
webkitgtk-for-gtk3
|
||||||
yelp-xsl))
|
yelp-xsl))
|
||||||
(home-page "https://wiki.gnome.org/Apps/Yelp")
|
(home-page "https://wiki.gnome.org/Apps/Yelp")
|
||||||
(synopsis "GNOME help browser")
|
(synopsis "GNOME help browser")
|
||||||
|
|
Reference in a new issue