Yo había pensado que se trataba de guardar en el servidor

.
Para que un archivo sea descargado en lugar de mostrado en el navegador, puedes cambiar la cabecera:
Código php:
Ver originalheader('Content-type: application/octet-stream'); header('Content-Disposition: attachment; filename="nombre.txt"\n');
Así, el navegador preguntará al usuario dónde desea guardarlo.