From 90e27b6b5596c4b38eb80ea92d5eac8fcb9db803 Mon Sep 17 00:00:00 2001
From: Thomas Voss <mail@thomasvoss.com>
Date: Sun, 12 Nov 2023 21:39:49 +0100
Subject: Use $(MAKE) instead of make

---
 GNUmakefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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