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:
a3cadd4
)
* Comments to help potential hackers.
author
Ævar Arnfjörð Bjarmason
<avar@users.mediawiki.org>
Tue, 3 May 2005 08:17:21 +0000
(08:17 +0000)
committer
Ævar Arnfjörð Bjarmason
<avar@users.mediawiki.org>
Tue, 3 May 2005 08:17:21 +0000
(08:17 +0000)
math/render.ml
patch
|
blob
|
history
diff --git
a/math/render.ml
b/math/render.ml
index
edd5984
..
f070a91
100644
(file)
--- a/
math/render.ml
+++ b/
math/render.ml
@@
-1,5
+1,6
@@
let cmd_dvips tmpprefix = "dvips -R -E " ^ tmpprefix ^ ".dvi -f >" ^ tmpprefix ^ ".ps"
let cmd_latex tmpprefix = "latex " ^ tmpprefix ^ ".tex >/dev/null"
let cmd_dvips tmpprefix = "dvips -R -E " ^ tmpprefix ^ ".dvi -f >" ^ tmpprefix ^ ".ps"
let cmd_latex tmpprefix = "latex " ^ tmpprefix ^ ".tex >/dev/null"
+(* Putting -transparent white in converts arguments will sort-of give you transperancy *)
let cmd_convert tmpprefix finalpath = "convert -quality 100 -density 120 " ^ tmpprefix ^ ".ps " ^ finalpath ^ " >/dev/null 2>/dev/null"
exception ExternalCommandFailure of string
let cmd_convert tmpprefix finalpath = "convert -quality 100 -density 120 " ^ tmpprefix ^ ".ps " ^ finalpath ^ " >/dev/null 2>/dev/null"
exception ExternalCommandFailure of string
@@
-9,6
+10,7
@@
let render tmppath finalpath outtex md5 =
let tmpprefix = (tmppath^"/"^tmpprefix0) in
let unlink_all () =
begin
let tmpprefix = (tmppath^"/"^tmpprefix0) in
let unlink_all () =
begin
+ (* Commenting this block out will aid in debugging *)
Sys.remove (tmpprefix ^ ".dvi");
Sys.remove (tmpprefix ^ ".aux");
Sys.remove (tmpprefix ^ ".log");
Sys.remove (tmpprefix ^ ".dvi");
Sys.remove (tmpprefix ^ ".aux");
Sys.remove (tmpprefix ^ ".log");