X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fcgi%2Fuse_webeqp.pl;fp=helm%2Fcgi%2Fuse_webeqp.pl;h=0000000000000000000000000000000000000000;hb=1092edce200adcf91a8c7f8caf947b3ac6bbbd0d;hp=72bfb1fa043d018951ac2eedaf77e12258ebd0d8;hpb=b229325170c02aeb2a009737486f7162ac89ed99;p=helm.git

diff --git a/helm/cgi/use_webeqp.pl b/helm/cgi/use_webeqp.pl
deleted file mode 100755
index 72bfb1fa0..000000000
--- a/helm/cgi/use_webeqp.pl
+++ /dev/null
@@ -1,18 +0,0 @@
-#!/usr/bin/perl
-
-my $HELM_CONFIGURATION_PREFIX = $ENV{"HELM_CONFIGURATION_PREFIX"};
-my $HELM_CONFIGURATION_PATH =
- $HELM_CONFIGURATION_PREFIX."/local/lib/helm/configuration.pl";
- # next require defines: $helm_dir, $html_link, $dtd_dir, $uris_dbm
- require $HELM_CONFIGURATION_PATH;
-
-require CGI;
-
-$q = new CGI;
-$uri = $q->param("uri");
-
-print <<EOT;
-Content-type: text/html
-Location: $webeqp_url?mmlurl=$getheader_url?baseurl=$style_url&stylesheet1=rootcontent.xsl&stylesheet2=annotatedpres.xsl&xmluri=$uri
-
-EOT