GNUBoot/gnuboot
GNUBoot
/
gnuboot
mirror of https://git.savannah.gnu.org/git/gnuboot.git
2
1
Fork 0
Code Issues Releases Activity

website-build: Makefile: default to help target. 

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 034159490a
commit 3959d153a1
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/>. # along with this program. If not, see <https://www.gnu.org/licenses/>.
.PHONY: all build check help publish serve website.tar.gz .PHONY: all build check help publish serve website.tar.gz
all: website.tar.gz all: help
BUILD_OPTIONS := BUILD_OPTIONS :=
GUIX_SHARE_OPTIONS := --share=`realpath ../` GUIX_SHARE_OPTIONS := --share=`realpath ../`