]> git.pld-linux.org Git - packages/anjuta.git/blame - webkit-4.1.patch
- don't try building with gda 6, it does not work, rel 5
[packages/anjuta.git] / webkit-4.1.patch
CommitLineData
18dd4988
JR
1From: Jeremy Bicha <jeremy.bicha@canonical.com>
2Date: Wed, 31 Aug 2022 22:09:45 -0400
3Subject: devhelp: switch to webkit 4.1
4
5https://src.fedoraproject.org/rpms/anjuta/blob/rawhide/f/webkit.patch
6---
7 configure.ac | 2 +-
8 1 file changed, 1 insertion(+), 1 deletion(-)
9
10diff --git a/configure.ac b/configure.ac
11index 94e3a1c..6794ad5 100644
12--- a/configure.ac
13+++ b/configure.ac
14@@ -246,7 +246,7 @@ if test "x$devhelp_enabled" = "xyes"; then
15 *webkit2gtk-3.0*)
16 AC_DEFINE([HAVE_WEBKIT2], [1], [Defined if devhelp is built against webkitgtk2])
17 ;;
18- *webkit2gtk-4.0*)
19+ *webkit2gtk-4.1*)
20 AC_DEFINE([HAVE_WEBKIT2], [1], [Defined if devhelp is built against webkitgtk2])
21 ;;
22 esac
This page took 0.043641 seconds and 4 git commands to generate.