From f01e57a6f61fc66cde2d2d4bdf93d6c558865707 Mon Sep 17 00:00:00 2001
From: paltherr <paltherr@epfl.ch>
Date: Tue, 5 Oct 2004 16:37:08 +0000
Subject: - Added deletion of old file

---
 sources/meta/GenerateAll.java | 1 +
 1 file changed, 1 insertion(+)

(limited to 'sources/meta')

diff --git a/sources/meta/GenerateAll.java b/sources/meta/GenerateAll.java
index fe2f4a41f5..d522fbcb58 100644
--- a/sources/meta/GenerateAll.java
+++ b/sources/meta/GenerateAll.java
@@ -83,6 +83,7 @@ public class GenerateAll extends AbstractMain {
                 TextExpander expander = new TextExpander(writer, expanders[i]);
                 expander.expandText(source);
                 errors += expander.getErrorCount();
+                target.delete();
                 FileWriter output = new FileWriter(target);
                 output.write(writer.toString());
                 output.close();
-- 
cgit v1.2.3