Index: share/extensions/eqtexsvg.py =================================================================== --- share/extensions/eqtexsvg.py (revision 18424) +++ share/extensions/eqtexsvg.py (working copy) @@ -114,10 +114,13 @@ sys.exit(1) os.system('dvips -q -f -E -D 600 -y 5000 -o ' + ps_file + ' ' + dvi_file) - # cd to base_dir is necessary, because pstoedit - # writes temporary files to cwd and needs write - # permissions - os.system('cd ' + base_dir + ' ; pstoedit -f plot-svg -dt -ssp ' + ps_file + ' ' + svg_file + ' > ' + out_file + ' 2> ' + err_file) + # cd to base_dir is necessary, because pstoedit writes + # temporary files to cwd and needs write permissions + separator = ';' + if os.name == 'nt': + separator = '&&' + os.system('cd "%s" %s pstoedit -f plot-svg -dt -ssp "%s" "%s" > "%s" 2> "%s"' \ + % (base_dir, separator, ps_file, svg_file, out_file, err_file)) # forward errors to stderr but skip pstoedit header if os.path.exists(err_file):