Hola a todos:
Me ha salido bien, lo adjunto por si a alguien le puede interesar:
$dir = "archivos"; //Especifica el directorio a leer
$rep = opendir($dir); //Abrimos el directorio
while ($arc = readdir($rep)) { //Leemos el arreglo de archivos contenidos en el directorio: readdir recibe como parametro el directorio abierto
if($arc != '..' && $arc !='.' && $arc !=''){
//$arc Contiene el nombre del archivo contenido dentro del directorio
echo '<a href="index.php?valor='.$dir."/".$arc.'">'.$arc.'</a>';
echo "<br>";
//Imprimimos el nombre del archivo con un link
}
}
if (isset($_GET['valor'])){
$enlace =$_GET['valor'];
$id=explode("/","$enlace");
$idmodificado=$id[1];
header ("Content-Disposition: attachment; filename=".$idmodificado."
");
header ("Content-Type: application/octet-stream");
header ("Content-Length: ".filesize($enlace));
readfile($enlace);
}
?>