diff options
| author | Brion Vibber <brion@users.mediawiki.org> | 2003-05-12 00:38:27 +0000 |
|---|---|---|
| committer | Brion Vibber <brion@users.mediawiki.org> | 2003-05-12 00:38:27 +0000 |
| commit | cb511340275f2bb09ba44b5d0a9242ea6f043e06 (patch) | |
| tree | 17c82fad9c0b849c993213a21812dd1a91dba4d8 | |
| parent | 37e7177803fdbce233fcf0d691e290c4222fe6c6 (diff) | |
| download | mediawikicore-cb511340275f2bb09ba44b5d0a9242ea6f043e06.tar.gz mediawikicore-cb511340275f2bb09ba44b5d0a9242ea6f043e06.zip | |
Un-comment deletion of TeX temporary files after rendering is finished
Notes
Notes:
http://mediawiki.org/wiki/Special:Code/MediaWiki/1312
| -rw-r--r-- | math/render.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/math/render.ml b/math/render.ml index fd358d2ae9ce..9f1e8233606e 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 |