--- 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"