diff -r bb24766fdbdc -r 1ba3c86ebec0 common/tools/zip_includefiles.pl
--- a/common/tools/zip_includefiles.pl	Tue Sep 15 12:26:53 2009 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,13 +0,0 @@
-#!perl -w
-
-use strict;
-
-my @includefiles = glob "*_includefile.txt";
-foreach (@includefiles)
-{
-    my $includefilename=$_;
-	if (m/(.*)(_includefile.txt)/) {
-		my $zipfilename = $1.".zip";
-		system("7za a -tzip -i@".$includefilename . " " .$zipfilename);
-	}
-}
\ No newline at end of file