From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 30 Aug 2020 05:43:32 +0000 (+0200)
Subject: INSTALL: Remove reference to --with-gui-tools which no longer exists
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9f92b0dbcfc39372d82e8defa58a2046ff83c962;p=pspp

INSTALL: Remove reference to --with-gui-tools which no longer exists
---

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