From: Pietro Di Lena <pietro.dilena@unibo.it>
Date: Mon, 25 Nov 2002 18:43:11 +0000 (+0000)
Subject: Changing directory for tmp files
X-Git-Tag: V_0_0_6~58
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9ee9af7b1b537f0ff921b4936bd5a248fac72e6d;p=helm.git

Changing directory for tmp files
---

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