scusate, ho scoperto che ho sbagliato sezione:
in html non è possibile, ma con php sì!
basta inserire nel link il riferimento a questo file e specificare nella variabile $nome.txt il file che si vuole scaricre.

Ecco il codice
codice:
<?
	// Legge il file
  //$file_content = implode('', file($result['filepath']));
  $nome='file.txt';
  $nome1='file_rinominato.txt';
  $file_content = implode('', file($nome));

  // Invia l'header del formato di file
  	header('Content-Type: application/octet-stream');
  
  // Specifica al browser che il file è un allegato, ovvero
  //è da scaricare non da visualizzare
   header("Content-Disposition: attachment; filename={$nome1}");

  
  // Specifica il tipo di codifica nel trasferimento
  header("Content-Transfer-Encoding: binary");
  
  // Invia il file al browser
  echo $file_content;
 ?>