11 lines
351 B
Diff
11 lines
351 B
Diff
--- plugins/devhelp/plugin.c.orig 2018-10-22 14:25:43.000000000 -0500
|
|
+++ plugins/devhelp/plugin.c 2022-08-02 10:10:03.489808458 -0500
|
|
@@ -37,7 +37,7 @@
|
|
#ifdef HAVE_WEBKIT2
|
|
#include <webkit2/webkit2.h>
|
|
#else
|
|
-#include <webkit/webkit.h>
|
|
+#include <webkitgtk-4.1/webkit2/webkit2.h>
|
|
#endif
|
|
|
|
#define ONLINE_API_DOCS "http://library.gnome.org/devel"
|