I don’t know why, but cups-pdf does not work for me any more. There is now an easier way than to set up and print with cups-pdf.
You do not need to configure anything 
Just do as you would had installed a Printer (File -> Print) and select Print to file an as output format: pdf. Press Print and you are done
