summaryrefslogtreecommitdiff
path: root/math/render.ml
diff options
context:
space:
mode:
Diffstat (limited to 'math/render.ml')
-rw-r--r--math/render.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/math/render.ml b/math/render.ml
index e9a21687..67ecab8d 100644
--- a/math/render.ml
+++ b/math/render.ml
@@ -1,4 +1,4 @@
-let cmd_dvips tmpprefix = "dvips -R -E " ^ tmpprefix ^ ".dvi -f >" ^ tmpprefix ^ ".ps"
+let cmd_dvips tmpprefix = "dvips -q -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"