ou você zipa esse arquivo ou tenta adaptar esse código que eu mesmo já postei aqui outro dia...
$arquivo = "nomedoarq";
Header("Content-type: application/txt");
Header("Content-Disposition: attachment; filename=$arquivo");
$download = "$dirarquivo/$arquivo";
readfile($download);
isso tem que vir em primeiro na página
se o arquivo for outra extensão você faz assim
$arquivo = "nomedoarqcomext"; //aqui está o nome completo do arquivo (c/ extensão), por exemplo: jogo.zip
$extensao = substr($arquivo,-3,3);
Header("Content-type: application/$extensao");
Header("Content-Disposition: attachment; filename=$arquivo");
$download = "$dirarquivo/$arquivo";
readfile($download);
qualquer coisa posta ai