X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhelm_data%2FMakefile.in;h=dd7f493a16b5549559e48f5e3e3d74179a3866bd;hb=4e8b137b58ec6763785b8ee490ee8cd6cb77b5bf;hp=73c14b00319be5b501bb9be3cea5a2c32751dcd8;hpb=ba5c18602094f16b953069744a7cf34c76fe58e7;p=helm.git

diff --git a/helm/helm_data/Makefile.in b/helm/helm_data/Makefile.in
index 73c14b003..dd7f493a1 100644
--- a/helm/helm_data/Makefile.in
+++ b/helm/helm_data/Makefile.in
@@ -1,12 +1,17 @@
-HELM_DTDS_DIR=@HELM_DTDS_DIR@
-HELM_STYLES_DIR=@HELM_STYLES_DIR@
+
+HELM_DTD_DIR=@HELM_DTD_DIR@
+HELM_STYLE_DIR=@HELM_STYLE_DIR@
+
+all:
 
 install:
-	mkdir -p   $(HELM_STYLES_DIR)
-	cp dtd/*   $(HELM_DTD_DIR)
-	cp style/* $(HELM_STYLES_DIR)
+	cp dtd/* $(HELM_DTD_DIR)
+	cp style/*.xsl $(HELM_STYLE_DIR)
 
-distclean:
-	rm -f Makefile configure config.log config.cache config.status
+clean:
+	
+distclean: clean
+	rm -f Makefile configure config.log config.cache config.status *.spec
+	rm -rf dtd style
 
-.PHONY: install distclean
+.PHONY: all install distclean