Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ISABELLE_TMP
authorwenzelm
Tue, 15 Jun 2004 13:24:19 +0200
changeset 14951 c98eb0d6615a
parent 14950 e22fad2b6f6f
child 14952 47455995693d
ISABELLE_TMP
lib/Tools/display file | annotate | diff | comparison | revisions 
--- a/lib/Tools/display	Tue Jun 15 13:24:02 2004 +0200
+++ b/lib/Tools/display	Tue Jun 15 13:24:19 2004 +0200
@@ -62,7 +62,7 @@
 [ -f "$FILE" ] || fail "Bad file: $FILE"
 
 if [ -n "$CLEAN" ]; then
-  PRIVATE_FILE=$(basename "$FILE" .dvi)$$.dvi
+  PRIVATE_FILE=$ISABELLE_TMP/$(basename "$FILE" .dvi)$$.dvi
   mv "$FILE" "$PRIVATE_FILE" || fail "Cannot move file: $FILE"
   $DVI_VIEWER "$PRIVATE_FILE"
   rm -f "$PRIVATE_FILE"
isabelle