gnuboot-patches
[Top][All Lists]
Advanced

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

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


From: Denis 'GNUtoo' Carikli
Subject: [PATCH v1 11/18] website-build: Makefile: default to help target.
Date: Sat, 25 May 2024 20:25:46 +0200

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 ../`
-- 
2.41.0




reply via email to

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