From b20ef3074a3033145f8af99994413ed9272e01d8 Mon Sep 17 00:00:00 2001
From: hns <hannesw@gmail.com>
Date: Mon, 15 Dec 2008 15:54:41 +0000
Subject: [PATCH] Remove dist directory in ant clean.

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

diff --git a/build.xml b/build.xml
index 3c9f2b48..df443c1f 100644
--- a/build.xml
+++ b/build.xml
@@ -475,6 +475,7 @@
         <delete dir="${build.work}" />
         <delete dir="${build.classes}" />
         <delete dir="${build.docs}"/>
+        <delete dir="${build.dist}"/>
         <delete file="${home.dir}/launcher.jar" quiet="true"/>
         <delete>
             <fileset file="${build.lib}" includes="**/${jar.name}*.jar"/>