From 395af377b4aa50c505cbe495299c28bdaaf21e4b Mon Sep 17 00:00:00 2001
From: Gaspard Jankowiak <gaspard.jankowiak@uni-graz.at>
Date: Wed, 27 Aug 2025 09:48:55 +0200
Subject: [PATCH] update makefile (version extraction)

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

diff --git a/Makefile b/Makefile
index e8206ac..4137857 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-VERSION = $(shell sed -n '/"version"/s/.*\([0-9]\+\.[0-9]\+\).*/\1/p' manifest.json)
+VERSION = $(shell sed -n '/"version"/s/.*\"\([0-9.]\+\)\",/\1/p' manifest.json)
 SET_VERSION = $(eval CURRENT_VERSION=$(VERSION))
 
 default: v2