From: Claudio Sacerdoti Coen Date: Fri, 22 Dec 2000 15:17:49 +0000 (+0000) Subject: library files added X-Git-Tag: nogzip~63 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=60c74619c60416d676d2cbf2950733b1066f7d07;p=helm.git library files added --- diff --git a/helm/configuration/Makefile.in b/helm/configuration/Makefile.in index 0da9a1292..63aafde84 100644 --- 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 ddf1bb424..6451a233d 100644 --- 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 index 000000000..5a172e462 --- /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 index 000000000..c2f5eb78d Binary files /dev/null and b/helm/configuration/library/urls_of_uris.db differ