From bc30147c3e3788ac8e8251d68c797bdbe4bab1a4 Mon Sep 17 00:00:00 2001
From: lucio <lucio@pc-lelii.isti.cnr.it>
Date: Fri, 20 Sep 2019 16:54:47 +0200
Subject: [PATCH] recreating distro

---
 pom.xml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index cc9214e..e5442f0 100644
--- a/pom.xml
+++ b/pom.xml
@@ -23,6 +23,7 @@
 
 	<properties>
 		<webappDirectory>${project.basedir}/src/main/webapp/WEB-INF</webappDirectory>
+		<webappDirectory>${project.basedir}/distro</webappDirectory>	
 		<jackrabbit.version>2.16.0</jackrabbit.version>
 		<tomcat.version>7.0.40</tomcat.version>
 		<jetty.version>6.1.26</jetty.version>
@@ -450,7 +451,8 @@
 							<outputDirectory>${webappDirectory}</outputDirectory>
 							<resources>
 								<resource>
-									<directory>distro</directory>
+									<directory>${distroDirectory}</directory>
+								    <filtering>true</filtering>
 								</resource>
 							</resources>
 						</configuration>