Lo que yo puse no tenia nigun exit ¡¡¡?????!!!! y si que funciona:
Código PHP:
<?
$palabra="Palabra que busco";
$acierto = 0; // acierto vale cero al principio
$archivo=file ("notas.txt");
for ($i=0;$i<sizeof("$archivo");$i++)
{
if ($archivo[$i]=="$palabra")
{
print "ok";
$acierto = 1; // si encuentra, acierto vale uno
}
}
if ($acierto == 0) { print "Busqueda fallida"; } // si no ha contado, muestra Busqueda fallida
?>