From cb511340275f2bb09ba44b5d0a9242ea6f043e06 Mon Sep 17 00:00:00 2001 From: Brion Vibber Date: Mon, 12 May 2003 00:38:27 +0000 Subject: [PATCH] Un-comment deletion of TeX temporary files after rendering is finished --- math/render.ml | 2 -- 1 file changed, 2 deletions(-) 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 -- 2.20.1