How to Save Google Docs as a PDF (Single or Multiple Docs)
Save Google Docs as PDFs - Built-in option for single PDF conversion, add-on for bulk conversions & Google Drive export.
The Blog
Blog by Docs to PDF
Save Google Docs as PDFs - Built-in option for single PDF conversion, add-on for bulk conversions & Google Drive export.