]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/cgi/use_webeqp.pl
This commit was manufactured by cvs2svn to create branch 'pacchetti'.
[helm.git] / helm / cgi / use_webeqp.pl
diff --git a/helm/cgi/use_webeqp.pl b/helm/cgi/use_webeqp.pl
deleted file mode 100755 (executable)
index 72bfb1f..0000000
+++ /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