There are two routes to go with Linux. You can install the cups-pdf printer
which gives you a printer that will print to pdf or you can print to file
and choose either pdf or ps as the print format. Either way works.

I prefer print to file method because it gives me control over the file
name. Otherwise you have to rename them with something sensible later. I use
pdf printing every day to go paperless. I print recipes, webpages, articles
from e-zines and rss feeds to pdf rather than print them to paper and then
have a mess of paper to file. I have a sizeable library of articles archived
this way. I can read them later and even bookmark them. Linux is just is so
much more sensible than other OSes that cannot print to pdf out of the box.