From 2f7c7e568f94e7a1ea523d39b04a63fd33746908 Mon Sep 17 00:00:00 2001
From: "Christian P. MOMON" <christian.momon@devinsy.fr>
Date: Fri, 20 Nov 2020 06:51:16 +0100
Subject: [PATCH] Improved jar core build.

---
 build-appjar.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-appjar.xml b/build-appjar.xml
index 4741eb5..730bfbe 100644
--- a/build-appjar.xml
+++ b/build-appjar.xml
@@ -118,7 +118,7 @@
 		</jar>
 
 		<!-- Package core jar -->
-		<property name="dist-core.jar" value="${dist.dir}/${dist.name}-core.jar" />
+		<property name="dist-core.jar" value="${dist.dir}/${product.name}-core-${dist.version}.jar" />
 		<jar destfile="${dist-core.jar}">
 			<manifest>
 				<attribute name="Built-By" value="${user.name} using ant" />