Tu ya sabrías generar ese .txt (con su formato adecuado? ..)
Si es así .. el tema de forzar su descarga se trata de componer las cabeceras HTTP adecuadas para indicar a tu navegador que el dato a enviar es para que lo descargue.
Puedes ver ejemplos en la función header() que es la que sirve en PHP para "enviar" cabeceras HTTP al navegador:
www.php.net/header
Un saludo,