Peter Otten <__pete...@web.de> writes: > Then convert to SVG with an external tool. It looks like ghostscript can do > that: > > $ gs -dBATCH -dNOPAUSE -sDEVICE=svg -sOutputFile=tmp_turtle.svg tmp_turtle.ps
And if not (I at least don't have svg output on three ghostscripts I tried), pstoedit can do it too. -- https://mail.python.org/mailman/listinfo/python-list
