fai così:

Codice PHP:
for ($x 1$x $tot$x++)
{
 
$nome "file" $x ".txt";
 
unlink ('$nome');

Non l'ho provato quindi non ti so dire con certezza se funza...