dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
37e7177
)
Un-comment deletion of TeX temporary files after rendering is finished
author
Brion Vibber
<brion@users.mediawiki.org>
Mon, 12 May 2003 00:38:27 +0000
(
00:38
+0000)
committer
Brion Vibber
<brion@users.mediawiki.org>
Mon, 12 May 2003 00:38:27 +0000
(
00:38
+0000)
math/render.ml
patch
|
blob
|
history
diff --git
a/math/render.ml
b/math/render.ml
index
fd358d2
..
9f1e823
100644
(file)
--- a/
math/render.ml
+++ b/
math/render.ml
@@
-8,12
+8,10
@@
let render tmppath finalpath outtex md5 =
let tmpprefix = (tmppath^"/"^(string_of_int (Unix.getpid ()))^"_"^md5) in
let unlink_all () =
begin
-(*
Sys.remove (tmpprefix ^ ".dvi");
Sys.remove (tmpprefix ^ ".aux");
Sys.remove (tmpprefix ^ ".log");
Sys.remove (tmpprefix ^ ".tex")
-*)
end in
let f = (Util.open_out_unless_exists (tmpprefix ^ ".tex")) in
begin