[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] INSTALL: Remove forgotten section about building the GUI.
|
From: |
Jose E. Marchesi |
|
Subject: |
Re: [PATCH] INSTALL: Remove forgotten section about building the GUI. |
|
Date: |
Mon, 27 Feb 2023 16:48:04 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Hi Frederic.
> 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.
I just installed this change on your behalf.
Sorry for the delay, this somehow escaped my radar...
Thanks!
> ---
> 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.