X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter.pl.in;h=bac916fe85e1df7d657ab42b03c40e3e90b9623b;hb=0f3bf3ba988cf1010c0c89df92ff36f0d34c877b;hp=4aeeafa5ca8320f7c85cd5d458f19e071b9ee331;hpb=1e50be8cda017baad324e20e5007df13f1c0fe04;p=helm.git

diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in
index 4aeeafa5c..bac916fe8 100755
--- a/helm/http_getter/http_getter.pl.in
+++ b/helm/http_getter/http_getter.pl.in
@@ -1,14 +1,14 @@
-#!/usr/bin/perl
+#!@PERL_BINARY@
 
 # First of all, let's load HELM configuration
 use Env;
 my $HELM_LIBRARY_DIR = $ENV{"HELM_LIBRARY_DIR"};
 # this should be the only fixed constant
-my $DEFAULT_HELM_LIBRARY_DIR = "/usr/local/etc/helm";
-if (defined ($HELM_LIBRARY_DIR) {
-   $HELM_LIBRARY_PATH = $HELM_LIBRARY_DIR."./configuration.pl";
+my $DEFAULT_HELM_LIBRARY_DIR = "@DEFAULT_HELM_LIBRARY_DIR@";
+if (defined ($HELM_LIBRARY_DIR)) {
+   $HELM_LIBRARY_PATH = $HELM_LIBRARY_DIR."/configuration.pl";
 } else {
-   $HELM_LIBRARY_PATH = $DEFAULT_HELM_LIBRARY_DIR."./configuration.pl";
+   $HELM_LIBRARY_PATH = $DEFAULT_HELM_LIBRARY_DIR."/configuration.pl";
 }
 # next require defines: $helm_dir, $html_link, $dtd_dir, $uris_dbm
 require $HELM_LIBRARY_PATH;