]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/cgi/use_webeqp.pl
mkindex.pl use_webeqp.pl webeq.pl webeqp.pl : helm root from environment
[helm.git] / helm / cgi / use_webeqp.pl
index a63301404d95ea30b0c7cfd85459d566da3bc2ab..72bfb1fa043d018951ac2eedaf77e12258ebd0d8 100755 (executable)
@@ -1,5 +1,11 @@
 #!/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;