From d19ec76901732973bf2b2dd752c9a7c94e7fed96 Mon Sep 17 00:00:00 2001
From: "mila@ringwald.ch"
 <mila@ringwald.ch@1a0a8af8-31b5-11de-8e0c-53a27eea117e>
Date: Thu, 25 Sep 2014 09:31:53 +0000
Subject: [PATCH] generate.py moved to tools

---
 java/build.xml              | 2 +-
 {java => tools}/generate.py | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename {java => tools}/generate.py (100%)

diff --git a/java/build.xml b/java/build.xml
index fa91a8b39..f5b26e736 100644
--- a/java/build.xml
+++ b/java/build.xml
@@ -17,7 +17,7 @@
 
     <target name="generate">
         <mkdir dir="${gen.dir}"/>
-        <exec executable="./generate.py"/>
+        <exec executable="./../tools/generate.py"/>
     </target>
 
     <target name="compile" depends="generate">
diff --git a/java/generate.py b/tools/generate.py
similarity index 100%
rename from java/generate.py
rename to tools/generate.py