]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/http_getter.pl.in
bug fixed
[helm.git] / helm / http_getter / http_getter.pl.in
index fde70e168177b78a74ca178e0a03eec23fd08d17..bac916fe85e1df7d657ab42b03c40e3e90b9623b 100755 (executable)
@@ -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;