diff -r 56e7098e1ace -r d5964b46ccaf common/tools/zip_includefiles.pl
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/common/tools/zip_includefiles.pl	Fri May 29 17:20:47 2009 +0100
@@ -0,0 +1,13 @@
+#!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