This commit was manufactured by cvs2svn to create branch

[helm.git] / helm / meta_style / Makefile

diff --git a/helm/meta_style/Makefile b/helm/meta_style/Makefile
deleted file mode 100644 (file)
index c0e5fc6..0000000
--- a/helm/meta_style/Makefile
+++ /dev/null
@@ -1,56 +0,0 @@
-XSLTPROC = xsltproc --timing
-FORMAT = xmllint --format
-SUBST = ./subst.pl
-METASTYLESHEET = meta_cic2mathml.xsl
-TMP1 = /tmp/.tmpfile1
-TMP2 = /tmp/.tmpfile2
-
-all: algebra.xsl arith.xsl basic.xsl reals.xsl set.xsl
-
-clean:
-       rm -f algebra.xsl arith.xsl basic.xsl reals.xsl set.xsl
-
-algebra.xsl: algebra.xml $(METASTYLESHEET)
-       @echo "**** PROCESSING algebra.xml ****"
-       @$(XSLTPROC) $(METASTYLESHEET) algebra.xml > $(TMP1)
-       @$(FORMAT) $(TMP1) > $(TMP2)
-       @mv $(TMP2) algebra.xsl
-       @rm $(TMP1)
-       @$(SUBST) oxsl: xsl: algebra.xsl
-       @$(SUBST) xmlns:oxsl xmlns:xsl algebra.xsl
-
-arith.xsl: arith.xml $(METASTYLESHEET)
-       @echo "**** PROCESSING arith.xml ****"
-       @$(XSLTPROC) $(METASTYLESHEET) arith.xml > $(TMP1)
-       @$(FORMAT) $(TMP1) > $(TMP2)
-       @mv $(TMP2) arith.xsl
-       @rm $(TMP1)
-       @$(SUBST) oxsl: xsl: arith.xsl
-       @$(SUBST) xmlns:oxsl xmlns:xsl arith.xsl
-
-basic.xsl: basic.xml $(METASTYLESHEET)
-       @echo "**** PROCESSING basic.xml ****"
-       @$(XSLTPROC) $(METASTYLESHEET) basic.xml > $(TMP1)
-       @$(FORMAT) $(TMP1) > $(TMP2)
-       @mv $(TMP2) basic.xsl
-       @rm $(TMP1)
-       @$(SUBST) oxsl: xsl: basic.xsl
-       @$(SUBST) xmlns:oxsl xmlns:xsl basic.xsl
-
-reals.xsl: reals.xml $(METASTYLESHEET)
-       @echo "**** PROCESSING reals.xml ****"
-       @$(XSLTPROC) $(METASTYLESHEET) reals.xml > $(TMP1)
-       @$(FORMAT) $(TMP1) > $(TMP2)
-       @mv $(TMP2) reals.xsl
-       @rm $(TMP1)
-       @$(SUBST) oxsl: xsl: reals.xsl
-       @$(SUBST) xmlns:oxsl xmlns:xsl reals.xsl
-
-set.xsl: set.xml $(METASTYLESHEET)
-       @echo "**** PROCESSING set.xml ****"
-       @$(XSLTPROC) $(METASTYLESHEET) set.xml > $(TMP1)
-       @$(FORMAT) $(TMP1) > $(TMP2)
-       @mv $(TMP2) set.xsl
-       @rm $(TMP1)
-       @$(SUBST) oxsl: xsl: set.xsl
-       @$(SUBST) xmlns:oxsl xmlns:xsl set.xsl