From 8dec840608188c6fa5a6ae03b935cb8427dddff9 Mon Sep 17 00:00:00 2001
From: Philippe Pittoli <karchnu@karchnu.fr>
Date: Sun, 17 Nov 2024 05:01:49 +0100
Subject: [PATCH] Makefile: user.mk

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

diff --git a/makefile b/makefile
index 645424c..b38a7d8 100644
--- a/makefile
+++ b/makefile
@@ -49,4 +49,4 @@ serve:
 #	npm run serve
 
 # You can add your specific instructions there.
--include makefile.user
+-include user.mk