Branch V7_3_new_exportation merged.

[helm.git] / helm / meta_style / Makefile

diff --git a/helm/meta_style/Makefile b/helm/meta_style/Makefile
index c0e5fc6456279d5bc5df3c81b173e8f85cbef79b..f51cc8094f58e1f1a4fe384203a5c1a28e0b0e71 100644 (file)
--- a/helm/meta_style/Makefile
+++ b/helm/meta_style/Makefile
@@ -1,14 +1,14 @@
 XSLTPROC = xsltproc --timing
 FORMAT = xmllint --format
 SUBST = ./subst.pl
-METASTYLESHEET = meta_cic2mathml.xsl
-TMP1 = /tmp/.tmpfile1
-TMP2 = /tmp/.tmpfile2
+METASTYLESHEET = ./meta_cic2mathml.xsl
+TMP1 = .tmpfile1
+TMP2 = .tmpfile2
 
-all: algebra.xsl arith.xsl basic.xsl reals.xsl set.xsl
+all: algebra.xsl arith.xsl basic.xsl reals.xsl set.xsl list.xsl
 
 clean:
-       rm -f algebra.xsl arith.xsl basic.xsl reals.xsl set.xsl
+       rm -f algebra.xsl arith.xsl basic.xsl reals.xsl set.xsl list.xsl
 
 algebra.xsl: algebra.xml $(METASTYLESHEET)
        @echo "**** PROCESSING algebra.xml ****"
@@ -54,3 +54,12 @@ set.xsl: set.xml $(METASTYLESHEET)
        @rm $(TMP1)
        @$(SUBST) oxsl: xsl: set.xsl
        @$(SUBST) xmlns:oxsl xmlns:xsl set.xsl
+
+list.xsl: list.xml $(METASTYLESHEET)
+       @echo "**** PROCESSING list.xml ****"
+       @$(XSLTPROC) $(METASTYLESHEET) list.xml > $(TMP1)
+       @$(FORMAT) $(TMP1) > $(TMP2)
+       @mv $(TMP2) list.xsl
+       @rm $(TMP1)
+       @$(SUBST) oxsl: xsl: list.xsl
+       @$(SUBST) xmlns:oxsl xmlns:xsl list.xsl