In diesem Artikel möchte ich 3 Tools vorstellen. Das Tool pdftoppm
verwandelt Seiten von einem PDF-Dokument in Bilder. Mögliche
Optionen werden nach der Eingabe pdftoppm --help
aufgelistet.
pdftoppm dateiname.pdf dateiname
konvertiert jede Seite zu einem
ppm-Bild. Mittels Option -png können PNG-Bilder erstellt werden.
Per -jpeg kommt es zur Ausgabe …