3 ms·On a Mac, Print -> Save as PDF. On Linux, Print -> /usr/bin/ps2pdf.by makecheck 17y agoOn a Mac, Print -> Save as PDF. On Linux, Print -> /usr/bin/ps2pdf.