When I select "print" (not "print to file") one of the available "printers" isPDF.You might need to install cups-pdf. In earlier versions of Ubuntu, it was partof the basic installation.