From d652286a6477532bc54a8d4f16575c72aaa107dd Mon Sep 17 00:00:00 2001
From: Dor Bivas <dor1_b@walla.com>
Date: Tue, 15 Apr 2014 11:18:51 +0300
Subject: build.xml: clean some extra directories

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

diff --git a/build.xml b/build.xml
index 441ad25..9189517 100644
--- a/build.xml
+++ b/build.xml
@@ -51,6 +51,9 @@
     <!-- Delete the ${build} and ${dist} directory trees -->
     <delete dir="${build}"/>
     <delete dir="${dist}"/>
+    <delete dir="${doc}"/>
+    <delete dir="bin"/>
+    <delete dir="dox"/>
   </target>
 
   <!-- Generate javadocs for current project into ${doc.dir} -->
-- 
cgit v1.2.3