GNUBoot/gnuboot
GNUBoot/gnuboot
2
1
Fork 0
mirror of https://git.savannah.gnu.org/git/gnuboot.git synced 2025-01-22 07:16:31 +01:00
Code Issues Releases Activity

website-build: Makefile: default to help target.

Browse source 
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>
This commit is contained in:
Denis 'GNUtoo' Carikli 2024-05-19 13:25:36 +02:00
parent 2f8f685f9e
commit a143e0bae9
Signed by: GNUtoo
GPG key ID: 5F5DFCC14177E263
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
website-build/Makefile.am
View file

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