Dovolil bych si nabídnout univerzální řešení. Stačí doinstalovat balíček cups-pdf, přidat v Ovládacím centru (sekce Hardware - Nastavit tisk a skenování) CUPS-PDF-Printer a potom lze ukládat do pdf z jakékoliv aplikace při použití mnoha možností klasického nastavení tisku.
Zatím se mi nepodařilo nastavit tuto virtuální pdf-tiskárnu, aby se ptala na název a cestu pro uložení výsledného souboru, ukládají se na plochu. Určitě to ale někde jde...