From 0d440d6ef3fd77d14cccc8e58949ba6ddecba959 Mon Sep 17 00:00:00 2001
From: "Christian P. MOMON" <christian.momon@devinsy.fr>
Date: Mon, 26 Oct 2020 16:55:01 +0100
Subject: [PATCH] Added extension file to include in target jar.

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

diff --git a/build-appjar.xml b/build-appjar.xml
index ed6c62f..9c54e7c 100644
--- a/build-appjar.xml
+++ b/build-appjar.xml
@@ -101,7 +101,7 @@
 		<property name="dist.jar" value="${dist.dir}/${product.name}.jar" />
 		<jar destfile="${dist.jar}">
 			<restrict>
-			     <name regex=".*/*\.(class|pom|properties|xsd|png|jpg|properties|ico|gif)"/>
+			     <name regex=".*/*\.(class|gif|ico|jpg|ngp|png|pom|properties|svg@|xml|xsd)"/>
 			     <archives>
 			     	<zips>
 			            <fileset dir="${basedir}/lib" includes="**/*.jar" excludes="*sources* *src*" />