Google Docs: como salvar um documento em PDF

Existem diversas alternativas para salvar ou exportar um documento em PDF, desde ferramentas que funcionam direto no seu navegador até programas que você precisa baixar e instalar no seu computador. …