Wenn man aus einer Reihe von Bildern eine PDF erzeugen möchte, so kann man hierfür unterschiedlichste Tools nutzen. Ich war auf der Suche nach einer Lösung die sowohl unter Linux als auch unter macOS funktionierte. Fündig wurde ich bei ImageMagick. Unter Linux kann das ganze über den Paketmanager (in diesem Fall auf einem Ubuntu) installiert werden:
apt-get install imagemagick
Unter macOS kann es über den Paketmanager Homebrew installiert werden:
brew install imagemagick
Nach der Installation kann der Konvertierungvorgang begonnen werden. Dazu muss im Terminal in das Verzeichnis mit den Bildern gewechselt werden. Anschließend wird über den Befehl convert die Konvertierung angestoßen:
convert *.png document.pdf
Je nach Anzahl und Größe der Bilddateien kann der Vorgang einige Minuten in Anspruch nehmen.