]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/configuration/Makefile.in
...
[helm.git] / helm / configuration / Makefile.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: