5
votes
2answers
263 views

Convert pstricks animation to SVG(+SMIL)

Inspired by these questions— How to convert pstricks animation to GIF file? PSTricks to SVG —how can one convert a PSTricks animation to an animated SVG image? SVG animation would be nicer than ...