Changing directory for tmp files

[helm.git] / helm / meta_style / Makefile

diff --git a/helm/meta_style/Makefile b/helm/meta_style/Makefile
index 7bb47374da06bfadd423724e94ba9b4bfb111ec0..c0e5fc6456279d5bc5df3c81b173e8f85cbef79b 100644 (file)
--- a/helm/meta_style/Makefile
+++ b/helm/meta_style/Makefile
@@ -2,8 +2,8 @@ XSLTPROC = xsltproc --timing
 FORMAT = xmllint --format
 SUBST = ./subst.pl
 METASTYLESHEET = meta_cic2mathml.xsl
-TMP1 = .tmpfile1
-TMP2 = .tmpfile2
+TMP1 = /tmp/.tmpfile1
+TMP2 = /tmp/.tmpfile2
 
 all: algebra.xsl arith.xsl basic.xsl reals.xsl set.xsl