PDFs are great for distributing documents around to other parties without worrying about format compatibility across different word processing programs. With Google Docs, you can create a PDF from an existing file without leaving the document. Here’s how.