Aunque encontré una forma de hacerlo, no funciona con IE, =(
Código PHP:
//
header("HTTP/1.1 200 OK");
header("Status: 200 OK");
header('Content-Type: application/force-download');
header('Content-Disposition: attachment; filename="'.$filename.'"');
header('Content-Length: '.filesize($filename));
readfile($filename);
Incluso en
http://www.php.net/header veo que hay gente que tiene los mismos problemas con IE. Por ahí dicen cómo arreglarlo, pero no funciona. Al menos no con IE 7.0.
Esa gente de Microsoft me va a volver loco.