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.