...

diff --git a/helm/http_getter/.cvsignore b/helm/http_getter/.cvsignore
index cbb473e0b43d3c2f2a49d4284096e5f6c6300eb8..87c270357b6ffc174a9d02eb98abe1159d258384 100644 (file)
--- 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 963977a6f2d26cf197855a67a80695a4437fff6d..1088c56891151e79d009722f2b7533c28ca3040d 100644 (file)
--- 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 f969fd7a11a56d0991fafa420340c0cb48684032..dcf22fc7950b85497dbf8977644b04d3f7b19779 100644 (file)
--- 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 cc0522b13252ab072a720c87e177cb3de3593ae9..efed4c26fae79ed8ceeba9de704626f229e71e96 100644 (file)
--- 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 e4dcc651d7a06c87c777e2619a1f415ebf756933..c17ad5cc8b317728ba35c47ed521fa200a8357ec 100644 (file)
--- 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 4aeeafa5ca8320f7c85cd5d458f19e071b9ee331..206ba6b4ef911ed7c489eaedbed04103735a217f 100755 (executable)
--- 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 {