I use a program called CutePDF, which acts like a printer on the system. You can just direct the output to the CutePDF printer, and it will prompt you for a filename to write to.