diff --git a/build.xml b/build.xml
deleted file mode 100644
index 0e4deff15..000000000
--- a/build.xml
+++ /dev/null
@@ -1,30 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project name="core" default="build">
-
-  <property name="WTK-home" value="/usr/local/WTK2.5.2"/>
-  <property name="JDK1.4-home" value="/usr/lib/jvm/j2sdk1.4.2_16"/>
-
-  <target name="init">
-    <tstamp/>
-  </target>
-
-  <target name="build" depends="init">
-    <mkdir dir="build"/>
-    <javac srcdir="src"
-           destdir="build"
-           source="1.4"
-           target="1.4"
-           bootclasspath="${JDK1.4-home}/jre/lib/rt.jar"
-           optimize="true"
-           debug="true"
-           deprecation="true"
-           fork="true"/>
-    <jar jarfile="core.jar" basedir="build"/>
-  </target>
-
-  <target name="clean">
-    <delete dir="build"/>
-    <delete file="core.jar"/>
-  </target>
-
-</project>