From 90e27b6b5596c4b38eb80ea92d5eac8fcb9db803 Mon Sep 17 00:00:00 2001 From: Thomas Voss Date: Sun, 12 Nov 2023 21:39:49 +0100 Subject: Use $(MAKE) instead of make --- GNUmakefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'GNUmakefile') diff --git a/GNUmakefile b/GNUmakefile index 3a63f69..c311e28 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -47,7 +47,7 @@ serve: darkhttpd out --daemon watch: - git ls-files | entr make + git ls-files | entr $(MAKE) push-fonts: rsync -a fonts vps:/var/www/www.thomasvoss.com/out/ -- cgit v1.2.3