]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/helm_data/Makefile.in
added LICENSE
[helm.git] / helm / helm_data / Makefile.in
index 73c14b00319be5b501bb9be3cea5a2c32751dcd8..f969fd7a11a56d0991fafa420340c0cb48684032 100644 (file)
@@ -2,9 +2,9 @@ HELM_DTDS_DIR=@HELM_DTDS_DIR@
 HELM_STYLES_DIR=@HELM_STYLES_DIR@
 
 install:
-       mkdir -p   $(HELM_STYLES_DIR)
-       cp dtd/*   $(HELM_DTD_DIR)
-       cp style/* $(HELM_STYLES_DIR)
+       mkdir -p $(HELM_STYLES_DIR)
+       cp dtd/* $(HELM_DTDS_DIR)
+       cp style/*.xsl $(HELM_STYLES_DIR)
 
 distclean:
        rm -f Makefile configure config.log config.cache config.status