Oppure installi una stampante cups che ti generi il pdf... se cerchi un po' su internet trovi qualcosa... prova su www.ubuntuitalia.org o www.debianitalia.org , mi sembra di aver letto una guida del genere al riguardo.