Debian, both Firefox (aka Iceweasel) and Chrome do this. Firefox is the easiest, you just do print to file, select pdf and give it a name. Chrome its hidden in the far right drop down menu, but after you find 'print' it gives you the option of PDF. It is much less intuitive. I would just give him Firefox and it should work fine.
Incidentally, if you want to give anyone a truly portable Linux, try Porteus. Brilliant, runs from stick, and configure it exactly how you want. Peter -- View this message in context: http://runtime-revolution.278305.n4.nabble.com/OT-Print-to-PDF-tp4687725p4687733.html Sent from the Revolution - User mailing list archive at Nabble.com. _______________________________________________ use-livecode mailing list use-livecode@lists.runrev.com Please visit this url to subscribe, unsubscribe and manage your subscription preferences: http://lists.runrev.com/mailman/listinfo/use-livecode