[PATCH] INSTALL: Remove forgotten section about building the GUI.

[Frederic Cambus]

The example GUI that was intended to be a test tool for the machine
interface has been removed from poke in the 3.0 release.

2023-02-12  Frederic Cambus  <fred@statdns.com>

        * INSTALL: Remove forgotten section about building the GUI.
---
 INSTALL | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/INSTALL b/INSTALL
index 04f9eea5..c2287c56 100644
--- a/INSTALL
+++ b/INSTALL
@@ -44,13 +44,3 @@ Finally:
   $ make
   $ make check
   $ make install
-
-
-Building the GUI
-================
-
-The poke GUI is optional and it is built by default, provided the required
-dependencies (see the file DEPENDENCIES) are found at configure time.
-
-To disable building the GUI, pass the '--disable-gui' option at configure
-time.
-- 
2.39.1