You can download a Google Docs file from a computer or mobile device and select the appropriate format for your file.