let silent_tex_to_ps (filename:string) (tmpdir:string) =
let latex_command = Printf.sprintf
"latex -output-directory=tmp -interaction=batchmode %s/%s.tex 2&> /dev/null"
tmpdir filename in
let dvips_command = Printf.sprintf
"dvips %s/%s.dvi -o %s/%s.ps -q" tmpdir filename tmpdir filename in
ignore(Sys.command latex_command);
ignore(Sys.command dvips_command)