file di testo: due righe vuote e prime righe

[Mutato]

Grazie, sembra funzionare. Pero' noto che l'output mi inserisce i caratteri ascii "\n", invece di andare a capo.

Aggiungo anche una domanda,

del ciclo:

$src = file_get_contents("file.txt");
$lines = explode("\n",$src);

for($i=0;$i<count($lines);$i++){
echo $i.$lines[$i]."
";
} 

Mi stampa una riga in piu' che non riesco a strippare in nessun modo. Alla fine della lista

uno
due
tre

rimane qualcosa che crea un linea in piu'...

Io volevo avere in output una cosa tipo:

[uno] due->
<-uno [due] tre->
<-due [tre]

In pratica quelli nella lista sono nomi di file, io dovrei creare una specie di navigazione avanti e indietro. Ovviamente i file non si chiamano uno due tre Io ho fatto:

$num = count($lines);

if($i < 1){
$line = "<a href=\"index.html\">Indice</a> | ";
$line.= "<a href=\"".$src[$i+1].".html\">Avanti</a>";

}elseif($i > $num){ #qui ho provato anche con >= =

$line = "<a href=\"".$src[$i-1].".html\">Indietro</a>";
$line.= " | <a href=\"index.html\">Indice</a>";

}else{

$line = "<a href=\"".$src[$i-1].".html\">Indietro</a>";
$line.= " | <a href=\"index.html\">Indice</a> | ";
$line.= "<a href=\"".$src[$i+1].".html\">Avanti</a>";
}
echo $line.$num;

echo "</p>\n\n<hr/>\n\n";