]> matita.cs.unibo.it Git - helm.git/blob - helm/cgi/use_webeqp.pl
added LICENSE
[helm.git] / helm / cgi / use_webeqp.pl
1 #!/usr/bin/perl
2
3 my $HELM_CONFIGURATION_PREFIX = $ENV{"HELM_CONFIGURATION_PREFIX"};
4 my $HELM_CONFIGURATION_PATH =
5  $HELM_CONFIGURATION_PREFIX."/local/lib/helm/configuration.pl";
6  # next require defines: $helm_dir, $html_link, $dtd_dir, $uris_dbm
7  require $HELM_CONFIGURATION_PATH;
8
9 require CGI;
10
11 $q = new CGI;
12 $uri = $q->param("uri");
13
14 print <<EOT;
15 Content-type: text/html
16 Location: $webeqp_url?mmlurl=$getheader_url?baseurl=$style_url&stylesheet1=rootcontent.xsl&stylesheet2=annotatedpres.xsl&xmluri=$uri
17
18 EOT