]> matita.cs.unibo.it Git - helm.git/blob - helm/cgi/use_webeqp.pl
Added Files (for webeq):
[helm.git] / helm / cgi / use_webeqp.pl
1 #!/usr/bin/perl
2
3 require CGI;
4 require "/local/lib/helm/configuration.pl";
5
6 $q = new CGI;
7 $uri = $q->param("uri");
8
9 print <<EOT;
10 Content-type: text/html
11 Location: $webeqp_url?mmlurl=$getheader_url?baseurl=$style_url&stylesheet1=rootcontent.xsl&stylesheet2=annotatedpres.xsl&xmluri=$uri
12
13 EOT