From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 28 Dec 2000 14:28:35 +0000 (+0000)
Subject: ...
X-Git-Tag: nogzip~36
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c9e626cba3af69354dac69bfaefeb346a191fc5a;p=helm.git

...
---

diff --git a/helm/http_getter/.cvsignore b/helm/http_getter/.cvsignore
index cbb473e0b..87c270357 100644
--- a/helm/http_getter/.cvsignore
+++ b/helm/http_getter/.cvsignore
@@ -1 +1 @@
-Makefile configure config.log config.cache config.status
+Makefile configure config.log config.cache config.status http_getter.pl
diff --git a/helm/http_getter/AUTHORS b/helm/http_getter/AUTHORS
index 963977a6f..1088c5689 100644
--- a/helm/http_getter/AUTHORS
+++ b/helm/http_getter/AUTHORS
@@ -1,4 +1 @@
-Andrea Asperti <asperti@cs.unibo.it>
-Luca Padovani <lpadovan@cs.unibo.it>
 Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
-Irene Schena <schena@cs.unibo.it>
diff --git a/helm/http_getter/Makefile.in b/helm/http_getter/Makefile.in
index f969fd7a1..dcf22fc79 100644
--- a/helm/http_getter/Makefile.in
+++ b/helm/http_getter/Makefile.in
@@ -1,12 +1,10 @@
-HELM_DTDS_DIR=@HELM_DTDS_DIR@
-HELM_STYLES_DIR=@HELM_STYLES_DIR@
+HELM_BIN_DIR=@exec_prefix@
 
 install:
-	mkdir -p $(HELM_STYLES_DIR)
-	cp dtd/* $(HELM_DTDS_DIR)
-	cp style/*.xsl $(HELM_STYLES_DIR)
+	cp http_getter.pl $(HELM_BIN_DIR)
 
 distclean:
-	rm -f Makefile configure config.log config.cache config.status
+	rm -f Makefile configure config.log config.cache config.status \
+         http_getter.pl
 
 .PHONY: install distclean
diff --git a/helm/http_getter/README b/helm/http_getter/README
index cc0522b13..efed4c26f 100644
--- a/helm/http_getter/README
+++ b/helm/http_getter/README
@@ -3,7 +3,7 @@ NOTE: This is the first alpha release of project HELM.
 HELM (Hypertextual Electronic Library of Mathematics) is a project aimed
 at the creation of tools for the development and exploitation of a huge
 distributed library of formal mathematical knowledge. This package holds
-the base DTDs and XSLT stylesheets developed by the members of project
-HELM.
+the getter used to map logical names into phisical names and download
+the required files.
 
 For more information see http://www.cs.unibo.it/helm
diff --git a/helm/http_getter/configure.in b/helm/http_getter/configure.in
index e4dcc651d..c17ad5cc8 100644
--- a/helm/http_getter/configure.in
+++ b/helm/http_getter/configure.in
@@ -28,4 +28,7 @@ AC_MSG_RESULT($HELM_STYLES_DIR)
 AC_SUBST(HELM_DTDS_DIR)
 AC_SUBST(HELM_STYLES_DIR)
 
+AC_SUBST(DEFAULT_HELM_LIBRARY_DIR)
+AC_SUBST(PERL_BINARY)
+
 AC_OUTPUT([Makefile])
diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in
index 4aeeafa5c..206ba6b4e 100755
--- a/helm/http_getter/http_getter.pl.in
+++ b/helm/http_getter/http_getter.pl.in
@@ -1,10 +1,10 @@
-#!/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";
+my $DEFAULT_HELM_LIBRARY_DIR = "@DEFAULT_HELM_LIBRARY_DIR@";
 if (defined ($HELM_LIBRARY_DIR) {
    $HELM_LIBRARY_PATH = $HELM_LIBRARY_DIR."./configuration.pl";
 } else {