Unter Linux (oder unter Windows mit TeXlive) kann auch das Tool
pdftocairo
verwendet werden:pdftocairo -svg datei.pdf datei.svg
Hm. Hat im Test (wie erwartet) eine unschön große Datei erzeugt. Das würde ich wohl gleich packen …
pdftocairo -noshrink -f 1 -svg -- DATEI.pdf - | gzip -c > DATEI.svg.gz
… und/oder meinen Server so konfigurieren, dass er beim Abruf einer SVG-Datei und Vorhandensein der gezippten Version eben diese (mit passendem Transport-Header) ausliefert,