If you install doPDF you can produce a pdf file from
any program that has a 'Print' function:
http://www.dopdf.com/
(Use the big green button for the download)
When you want to save your document into pdf format, go to the File menu and select 'Print' (NOT 'Save' or 'Export). Alternatively, of course, you can use Ctrl P. You'll see that an extra (virtual) printer has been added to the list of available printers, called 'doPDF 9'. If you select that 'printer' you can then 'print' the file into pdf format. It's really easy.