]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/helm_data/Makefile.in
This commit was manufactured by cvs2svn to create branch 'moogle'.
[helm.git] / helm / helm_data / Makefile.in
diff --git a/helm/helm_data/Makefile.in b/helm/helm_data/Makefile.in
deleted file mode 100644 (file)
index 498577f..0000000
+++ /dev/null
@@ -1,23 +0,0 @@
-
-HELM_DTD_DIR=@HELM_DTD_DIR@
-HELM_STYLE_DIR=@HELM_STYLE_DIR@
-
-all:
-
-install:
-       cp dtd/* $(HELM_DTD_DIR)
-       cp style/*.xsl $(HELM_STYLE_DIR)
-
-clean:
-       
-distclean: clean
-       rm -f Makefile configure config.log config.cache config.status *.spec
-       rm -rf dtd style
-
-dist:  clean
-       rm -rf ../@PACKAGE@-@VERSION@
-       mkdir ../@PACKAGE@-@VERSION@
-       cp -r * ../@PACKAGE@-@VERSION@
-       (cd .. ; tar cvfz @PACKAGE@-@VERSION@.tar.gz @PACKAGE@-@VERSION@ ; rm -rf @PACKAGE@-@VERSION@)
-
-.PHONY: all install distclean