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

diff --git a/INSTALL b/INSTALL
index 2e985ae481f170dad31e3cd5046d54aa09b9c5fc..90be90902c96d2fc3932620de5f51e79f0c19ca4 100644 (file)
--- 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