DPI Zahl in PDF setzen

[Forumsgast]

guten Morgen!

Kennt jemand eine Möglichkeit ein bestehendes für den Druck erstelltes PDF-Dokument in ein Web-PDF umzuwandeln? (zumindest: Alle Bilder auf 72 DPI zu ändern) ?

Habe an Ghostscript per system-Aufruf gedacht.

<?php
system('gs -dSAFER -dCompatibilityLevel=1.4 -r72 -q -dNOPAUSE -dBATCH -sDEVICE=pdfwrite 72dpi -sOutputFile=target.pdf -dSAFER -dCompatibilityLevel=1.4 -r72 -c .setpdfwrite -f 300dpi.pdf');
?>

Was mache ich falsch, oder gibt es andere Möglichkeiten?

Vielen Dank schonmal...

[Forumsgast]

Also das scheint mir doch nur mit Krücke ein PHP Problem zu sein.

[MOD: verschoben]