]> matita.cs.unibo.it Git - helm.git/commitdiff
Only .xsl files in style are now copied
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 13:47:20 +0000 (13:47 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 13:47:20 +0000 (13:47 +0000)
helm/helm_data/Makefile.in

index 0d8706167d1999a2104aba4526d57de2fb8db89a..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_DTDS_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