From f00b9ca52459015fe5f0d4d72831ff6786126393 Mon Sep 17 00:00:00 2001
From: Tobias Bachmann <t.bachmann@em.uni-frankfurt.de>
Date: Fri, 27 Sep 2024 12:02:13 +0200
Subject: [PATCH] remove unused build/

---
 build.properties | 1 -
 build.xml        | 7 +------
 2 files changed, 1 insertion(+), 7 deletions(-)

diff --git a/build.properties b/build.properties
index 40ea800..a10bb8f 100644
--- a/build.properties
+++ b/build.properties
@@ -3,5 +3,4 @@
 # Instead, copy it to local.build.properties and edit that.
 #
 project.app=EditionExample
-build.dir=build
 dist.dir=dist
\ No newline at end of file
diff --git a/build.xml b/build.xml
index 4ca0376..968f0db 100755
--- a/build.xml
+++ b/build.xml
@@ -9,13 +9,8 @@
     <property name="project.name" value="${package(name)}"/>
     
     <target name="xar">
-        <mkdir dir="${build.dir}"/>
         <mkdir dir="${dist.dir}"/>
-        <zip basedir="." destfile="${dist.dir}/${project.app}-${project.version}.xar" excludes="${build.dir}/ ${dist.dir}/"/>
-        <antcall target="clean"/>
+        <zip basedir="." destfile="${dist.dir}/${project.app}-${project.version}.xar" excludes="${dist.dir}/"/>
     </target>
     
-    <target name="clean">
-        <delete dir="${build.dir}"/>
-    </target>
 </project>
\ No newline at end of file