From 9f92b0dbcfc39372d82e8defa58a2046ff83c962 Mon Sep 17 00:00:00 2001
From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 30 Aug 2020 07:43:32 +0200
Subject: [PATCH] INSTALL: Remove reference to --with-gui-tools which no longer
 exists

---
 INSTALL | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/INSTALL b/INSTALL
index 2e985ae481..90be90902c 100644
--- a/INSTALL
+++ b/INSTALL
@@ -268,10 +268,6 @@ Optional Features
     Cairo and Pango required to build the GUI, so --without-cairo
     implies --without-gui.
 
-`--with-gui-tools'
-    Build the gui developer tools.  There is no reason to use this
-    option unless you're involved with the development of PSPP
-
 `--without-lib{xx}'
     Optional libraries should normally be detected and the relevant
     functionality will be built they exist.  However, on some poorly
-- 
2.30.2