From 919fc66e9d4d5b9698bb095fc515734941cc3d8b Mon Sep 17 00:00:00 2001
From: Jan Tojnar <jtojnar@gmail.com>
Date: Tue, 4 Oct 2022 03:46:19 +0200
Subject: [PATCH] gnome.yelp: switch to webkitgtk_4_1

To reduce the number of WebKits in closure.

webkitgtk_4_1 should be the most common one in GNOME now.
---
 pkgs/desktops/gnome/core/yelp/default.nix | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/pkgs/desktops/gnome/core/yelp/default.nix b/pkgs/desktops/gnome/core/yelp/default.nix
index a6020dbafaa..ee76194433c 100644
--- a/pkgs/desktops/gnome/core/yelp/default.nix
+++ b/pkgs/desktops/gnome/core/yelp/default.nix
@@ -2,7 +2,7 @@
 , stdenv
 , gettext
 , fetchurl
-, webkitgtk
+, webkitgtk_4_1
 , pkg-config
 , gtk3
 , libhandy
@@ -36,7 +36,7 @@ stdenv.mkDerivation rec {
     gtk3
     libhandy
     glib
-    webkitgtk
+    webkitgtk_4_1
     sqlite
     libxml2
     libxslt
@@ -46,10 +46,6 @@ stdenv.mkDerivation rec {
     gst_all_1.gst-plugins-good
   ];
 
-  # To reduce the GNOME ISO closure size.  Remove when other packages
-  # are using webkit2gtk_4_1.
-  configureFlags = ["--with-webkit2gtk-4-0"];
-
   passthru = {
     updateScript = gnome.updateScript {
       packageName = "yelp";