From: Brion Vibber Date: Mon, 12 May 2003 00:38:27 +0000 (+0000) Subject: Un-comment deletion of TeX temporary files after rendering is finished X-Git-Tag: 1.1.0~566 X-Git-Url: https://git.cyclocoop.org/%7B%24www_url%7Dadmin/compta/banques/?a=commitdiff_plain;h=cb511340275f2bb09ba44b5d0a9242ea6f043e06;p=lhc%2Fweb%2Fwiklou.git Un-comment deletion of TeX temporary files after rendering is finished --- diff --git a/math/render.ml b/math/render.ml index fd358d2ae9..9f1e823360 100644 --- 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