diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-12-16 02:11:07 +0100 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-12-16 02:11:07 +0100 |
| commit | 9f6210cc5c114310a38ad1cc0ff5900409a7e7cc (patch) | |
| tree | b0328d700eefa66dc78a4c761c6191de7dabdff8 | |
| parent | 822befbcae1ba3e06327c4dd9865bcfd61a49616 (diff) | |
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.
| -rw-r--r-- | gnu/packages/gnome.scm | 2 |
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") |