X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmeta_style%2FMakefile;h=c0e5fc6456279d5bc5df3c81b173e8f85cbef79b;hb=a4df9661e15509e5da6ed9c57e3ab6a27a440c3f;hp=7bb47374da06bfadd423724e94ba9b4bfb111ec0;hpb=a2dcdb25b6efbd2623913ecf8f0f7ad3fb60bc75;p=helm.git

diff --git a/helm/meta_style/Makefile b/helm/meta_style/Makefile
index 7bb47374d..c0e5fc645 100644
--- 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