From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 28 Dec 2000 15:24:37 +0000 (+0000)
Subject: bug fixed
X-Git-Tag: nogzip~30
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0f3bf3ba988cf1010c0c89df92ff36f0d34c877b;p=helm.git

bug fixed
---

diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in
index fde70e168..bac916fe8 100755
--- a/helm/http_getter/http_getter.pl.in
+++ b/helm/http_getter/http_getter.pl.in
@@ -6,9 +6,9 @@ my $HELM_LIBRARY_DIR = $ENV{"HELM_LIBRARY_DIR"};
 # this should be the only fixed constant
 my $DEFAULT_HELM_LIBRARY_DIR = "@DEFAULT_HELM_LIBRARY_DIR@";
 if (defined ($HELM_LIBRARY_DIR)) {
-   $HELM_LIBRARY_PATH = $HELM_LIBRARY_DIR."./configuration.pl";
+   $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;