Ich würde sagen, das heißt "PDF-Dateien mit Hilfe des Distillers generieren" oder "eps-Dateien mit dem Distiller in pdf-Dateien konvertieren". Das ist zwar umständlich, aber dann weiß jeder, was gemeint ist und in einer technischen Anleitung würde ich immer möglichst präzise sein. "Destillieren" klingt so nach Schnapsbrennen und "Distillen" ist eine völlig bescheuerte Eindeutschung. Sonst fällt mir aber auch nix ein.
grüsse,
Christof
als Antwort auf: [#54349]