gnuboot-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH v1 11/18] website-build: Makefile: default to help target.


From: Adrien 'neox' Bourmault
Subject: Re: [PATCH v1 11/18] website-build: Makefile: default to help target.
Date: Mon, 27 May 2024 15:17:48 +0200
User-agent: Evolution 3.48.4

Le samedi 25 mai 2024 à 20:25 +0200, Denis 'GNUtoo' Carikli a écrit :
> To work on the website, more than one of the targets (like 'make
> serve' or 'make check') are useful. So it's better to inform users
> about the available targets instead of building a tarball directly.
> 
> Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
> ---
>  website-build/Makefile.am | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/website-build/Makefile.am b/website-build/Makefile.am
> index a023826..51879e2 100644
> --- a/website-build/Makefile.am
> +++ b/website-build/Makefile.am
> @@ -14,7 +14,7 @@
>  # along with this program.  If not, see <https://www.gnu.org/licenses/>.
>  .PHONY: all build check help publish serve website.tar.gz
>  
> -all: website.tar.gz
> +all: help
>  
>  BUILD_OPTIONS :=
>  GUIX_SHARE_OPTIONS := --share=`realpath ../`

Acked-by: Adrien 'neox' Bourmault <neox@gnu.org>

Attachment: signature.asc
Description: This is a digitally signed message part


reply via email to

[Prev in Thread] Current Thread [Next in Thread]