87c87
<         pdf_file = os.path.join(base_dir, "eq.pdf")
---
>         ps_file = os.path.join(base_dir, "eq.ps")
96c96
<             os.remove(pdf_file)
---
>             os.remove(ps_file)
113c113
<         os.system('dvipdf ' + dvi_file + ' ' + pdf_file)
---
>         os.system('dvips -q -f -E -D 600 -y 5000 -o ' + ps_file + ' ' + dvi_file)
115c115
<         os.system('pdf2svg ' + pdf_file + ' ' + svg_file + '> ' + out_file)
---
>         os.system('pstoedit -quiet -f plot-svg -dt -ssp ' + ps_file + ' ' + svg_file + '> ' + out_file)