This article explains how to convert a Google Doc to PDF. The Google Docs website provides a few ways to do this depending on what you want to do with the PDF after it's been converted.

Google’s web-based document editor can now convert the text inside your PDFs and images into text you can edit. When you upload a file to Google Docs, you’ll see the option to “Convert text ...