From bcfe9022de7b5b0f28d45af16e04022d06c76a8a Mon Sep 17 00:00:00 2001
From: Michael Panzlaff <michael.panzlaff@fau.de>
Date: Mon, 23 Feb 2026 14:51:19 +0100
Subject: [PATCH] Makefile: use npm ci

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

diff --git a/Makefile b/Makefile
index 3246538a..5829beae 100644
--- a/Makefile
+++ b/Makefile
@@ -84,4 +84,4 @@ $(VAR):
 
 $(SVELTE_TARGETS): $(SVELTE_SRC)
 	$(info ===>  BUILD frontend)
-	cd web/frontend && npm install && npm run build
+	cd web/frontend && npm ci && npm run build