[OT] Printing to PDF in Citrix

We have a handful of users that were recently put on Citrix to access some application via IE via Citrix. They are coming back now saying they need to print to PDF files. Has anybody found a way to make this work? It's a mix of 10.7-10.10machines.