]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hxsp/make.pl
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / hxsp / make.pl
diff --git a/helm/hxsp/make.pl b/helm/hxsp/make.pl
deleted file mode 100644 (file)
index ecd3a28..0000000
+++ /dev/null
@@ -1,17 +0,0 @@
-#!/usr/bin/perl
-open(MAIN, ">","./hxsp.pl")|| die "Can't open ./hxsp.pl : $!";
-my $pd = "./splitted/";
-my @pieces = ("0.init.p.pl","1.globvars.p.pl","2.start.p.pl",
-              "3.daemon.p.pl","4.hash.p.pl","5.libxslt.p.pl",
-              "6.commands.p.pl","7.qsparse.p.pl",
-              "8.strrep.p.pl","9.load.p.pl");
-
-foreach $p (@pieces)
-{
-   open(P, "$pd$p") || die "Can't open $pd$p : $!";
-   while(my $line = <P>) { print MAIN $line; }
-   close P;
-   print MAIN "\n";
-}
-
-close MAIN;