library files added

diff --git a/helm/configuration/Makefile.in b/helm/configuration/Makefile.in
index 0da9a1292e2d9188caa9dfa95e00d2a93129ed87..63aafde84998d2ddc8d1de97d1fa0f4122b3970e 100644 (file)
--- a/helm/configuration/Makefile.in
+++ b/helm/configuration/Makefile.in
@@ -1,9 +1,11 @@
 HELM_LIB_DIR=@HELM_LIB_DIR@
 HELM_ETC_DIR=@HELM_ETC_DIR@
+HELM_LIBRARY_DIR=@HELM_LIBRARY_DIR@
 
 install:
        cp lib/configuration.pl $(HELM_LIB_DIR)
        cp etc/* $(HELM_ETC_DIR)
+       cp library/servers.txt library/urls_of_uris.db $(HELM_LIBRARY_DIR)
 
 distclean:
        rm -f Makefile configure config.log config.cache config.status

diff --git a/helm/configuration/configure.in b/helm/configuration/configure.in
index ddf1bb4248e46114ee533fc9bbd3c8dc662e53ff..6451a233df40ed08fa84df212fd6dfb0b031ba13 100644 (file)
--- a/helm/configuration/configure.in
+++ b/helm/configuration/configure.in
@@ -51,7 +51,7 @@ dnl Only for HELM XML configuration
 AC_MSG_WARN(Where should I put the downloaded library? Note: the directory and all the files and subdirectories recursively in it should be world writeable)
 read HELM_LIBRARY_PREFIX
 
-CONFIGURATION_HELM_DIR=$HELM_LIBRARY_PREFIX/examples
+CONFIGURATION_HELM_DIR=$HELM_LIBRARY_PREFIX/library
 dnl CSC: ERROR: getters should download the DTDs
 CONFIGURATION_DTD_DIR=$HELM_SHARE_DIR/dtd
 CONFIGURATION_SERVERS_FILE=$HELM_LIBRARY_PREFIX/servers.txt

diff --git a/helm/configuration/library/servers.txt b/helm/configuration/library/servers.txt
new file mode 100644 (file)
index 0000000..5a172e4
--- /dev/null
+++ b/helm/configuration/library/servers.txt
@@ -0,0 +1 @@
+http://www.cs.unibo.it/~sacerdot/examples

diff --git a/helm/configuration/library/urls_of_uris.db b/helm/configuration/library/urls_of_uris.db
new file mode 100644 (file)
index 0000000..c2f5eb7
Binary files /dev/null and b/helm/configuration/library/urls_of_uris.db differ