From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 22 Dec 2000 17:36:48 +0000 (+0000)
Subject: ...
X-Git-Tag: nogzip~57
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=865d699af85587a783f0f2bcc8cca18b0df7ba53;p=helm.git

...
---

diff --git a/helm/configuration/Makefile.in b/helm/configuration/Makefile.in
index 63aafde84..05e9b6b62 100644
--- a/helm/configuration/Makefile.in
+++ b/helm/configuration/Makefile.in
@@ -3,8 +3,13 @@ HELM_ETC_DIR=@HELM_ETC_DIR@
 HELM_LIBRARY_DIR=@HELM_LIBRARY_DIR@
 
 install:
+	mkdir -p $(HELM_LIB_DIR)
+	mkdir -p $(HELM_ETC_DIR)
+	mkdir -p $(HELM_LIBRARY_DIR)
 	cp lib/configuration.pl $(HELM_LIB_DIR)
-	cp etc/* $(HELM_ETC_DIR)
+	cp etc/configuration.dtd etc/configuration.xml etc/helm-dictionary.xml \
+         etc/helm-font-configuration.xml etc/helm-math-engine-configuration.xml\
+         $(HELM_ETC_DIR)
 	cp library/servers.txt library/urls_of_uris.db $(HELM_LIBRARY_DIR)
 
 distclean:
diff --git a/helm/configuration/configure.in b/helm/configuration/configure.in
index 096782008..62c3285af 100644
--- a/helm/configuration/configure.in
+++ b/helm/configuration/configure.in
@@ -82,14 +82,14 @@ dnl Only for HELM XML configuration
 
 AC_MSG_CHECKING("for the library path")
 RES=""
-AC_CACHE_VAL(helm_cv_HELM_LIBRARY_PREFIX,
+AC_CACHE_VAL(helm_cv_HELM_LIBRARY_DIR,
   echo "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_cv_HELM_LIBRARY_PREFIX
+  read helm_cv_HELM_LIBRARY_DIR
   RES="Asked"
 )
-HELM_LIBRARY_PREFIX=$helm_cv_HELM_LIBRARY_PREFIX
+HELM_LIBRARY_DIR=$helm_cv_HELM_LIBRARY_DIR
 if test "$RES" != "Asked" ; then
-   AC_MSG_RESULT($HELM_LIBRARY_PREFIX)
+   AC_MSG_RESULT($HELM_LIBRARY_DIR)
 fi
 AC_CACHE_SAVE