From 92e1f785ce2d105c11a91266dda0cf4d324d9f2a Mon Sep 17 00:00:00 2001
From: Jehan <jehan@girinstud.io>
Date: Thu, 28 Jun 2018 19:24:14 +0200
Subject: [PATCH] INSTALL: WEBKIT_REQUIRED_VERSION renamed to
 WEBKITGTK_REQUIRED_VERSION.

Separate from previous commit because this change is for master only.
---
 INSTALL.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/INSTALL.in b/INSTALL.in
index 589b1a37fe..e86c2636ca 100644
--- a/INSTALL.in
+++ b/INSTALL.in
@@ -180,7 +180,7 @@ header files installed.
      libxpm              -              XPM
      openexr             @OPENEXR_REQUIRED_VERSION@          OpenEXR
      python 2            @PYTHON2_REQUIRED_VERSION@          Python plug-ins
-     webkit              @WEBKIT_REQUIRED_VERSION@          Help browser & webpage
+     webkit              @WEBKITGTK_REQUIRED_VERSION@         Help browser & webpage
 
  21. Summary of optional runtime dependencies: