From a5df357d52b8ca2a9a8f0f6008b54c5bab693548 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Wed, 18 May 2022 15:13:30 +0100
Subject: build: move project `resources` folder

---
 pom.xml | 17 ++++++++---------
 1 file changed, 8 insertions(+), 9 deletions(-)

(limited to 'pom.xml')

diff --git a/pom.xml b/pom.xml
index 3fe8d3c..039a28a 100644
--- a/pom.xml
+++ b/pom.xml
@@ -235,20 +235,19 @@
 				</executions>
 			</plugin>
 		</plugins>
+		<resources>
+			<resource>
+				<directory>src/main/resources</directory>
+				<excludes>
+					<exclude>pagoda.properties</exclude>
+				</excludes>
+			</resource>
+		</resources>
 	</build>
 
   <!--  <build>-->
   <!--      <sourceDirectory>src/main/scala</sourceDirectory>-->
   <!--      <testSourceDirectory>src/test/scala</testSourceDirectory>-->
-		<!--<resources>-->
-			<!--<resource>-->
-				<!--<directory>src/main/java/resources</directory>-->
-				<!--<excludes>-->
-					<!--<exclude>pagoda.properties</exclude>-->
-				<!--</excludes>-->
-			<!--</resource>-->
-
-		<!--</resources>-->
 		<!--<testResources>-->
 			<!--<testResource>-->
   <!--              <directory>src/test/java/resources</directory>-->
-- 
cgit v1.2.3