If you have a google account, then you can upload just about anything to your Google Drive, and open it in Google Docs from there. Then you can edit, run OCR, translate to another language, etc. Finally, go to File menu, Download as... and pick PDF (or many other formats).