My preferred method is to install cups-pdf and then print the file as you wouldwith any printer or you can print to file and this way have more control overthe file name.