From 9ee9af7b1b537f0ff921b4936bd5a248fac72e6d Mon Sep 17 00:00:00 2001 From: Pietro Di Lena Date: Mon, 25 Nov 2002 18:43:11 +0000 Subject: [PATCH] Changing directory for tmp files --- helm/meta_style/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.39.2