[Matt_Cutts]

If you know it's a pdf that you're looking for, you can add filetype:pdf to your query.

[RyanHolliday]

This is great for HN readers. For most people using Google, not so much, I think.