From 7ce8ac92f7dbd02d3c2d8d6cc7f931ac1a2114c7 Mon Sep 17 00:00:00 2001
From: josch <josch@pyneo.org>
Date: Tue, 18 Jan 2011 11:55:12 +0200
Subject: [PATCH] also clean jjtree generated files

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

diff --git a/build.xml b/build.xml
index 57a546a..5754fe8 100644
--- a/build.xml
+++ b/build.xml
@@ -178,6 +178,9 @@
 
    <target name = "clean">
      <delete dir = "${build}"/>
+     <delete>
+       <fileset dir = "${src}/de/unibremen/informatik/hets/grammar/" includes = "*.java *.jj" />
+     </delete>
    </target>