Linux bietet eine einfache Lösung, um pdf-Dateien zu erzeugen. Mit dem Befehl im Terminal:
sudo apt-get install cups-pdf
generiert man eine neuen Drucker namens PDF. Beim nächsten Drucken einfach den pdf-Drucker anwählen und schon kann von jeder druckbaren Datei ein pdf erstellt werden.