Another Windows solution is PDF Creatorhttp://sourceforge.net/projects/pdfcreator/. It installs as a printer andcan create a pdf of anything that can be printed. It doesn't have a Linuxprogramme but "print to file" works very well for me.