]> matita.cs.unibo.it Git - helm.git/commitdiff
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Dec 2000 17:36:48 +0000 (17:36 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Dec 2000 17:36:48 +0000 (17:36 +0000)
helm/configuration/Makefile.in
helm/configuration/configure.in

index 63aafde84998d2ddc8d1de97d1fa0f4122b3970e..05e9b6b62e27178b88fab0740d822c01f8e4b745 100644 (file)
@@ -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:
index 09678200817a99226779eaece2a5a78bf64b6daa..62c3285afb0f35c14e10f2d183dd19ba7ad2ef9f 100644 (file)
@@ -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