Ciao!
Forse sto dicendo una stupidata...
Dunque, ho un file txt chiamato storia.txt e dentro del testo

Voglio includerlo nella mia pagina php, ma prima di stamparlo a video lo voglio formattare e sostituire alcune lettere e parole:

Codice PHP:
function storia()
{
include 'config.php';

print <<<HTML
<table border=$bordoT width=$largT cellspacing=0 cellpadding=0>
  <tr>
    <td valign="top" colspan=2 align="center">
      <font class=testo>Storia</font>
    </td>
  </tr>
</table>

 
<table border=$bordoT width=$largT height=100 cellspacing="5" cellpadding="5">
    <tr>
        <td align="left">
HTML;

$testo = include "storia.txt";

//rimpiazzo gli accenti
     
     $testo = str_replace("à", "&agrave;", $testo);
     $testo = str_replace("È", "&Egrave;", $testo);
     $testo = str_replace("è", "&egrave;", $testo);
     $testo = str_replace("é", "&egrave;", $testo);
     $testo = str_replace("ò", "&ograve;", $testo);
     $testo = str_replace("ì", "&igrave;", $testo);
     $testo = str_replace("ù", "&ugrave;", $testo);
     $testo = str_replace("'", "&acute;", $testo);
    $testo = str_replace("asiago", "[b]Asiago[/b]", $testo);


print "<font class=testo2>";
print $testo;
print "</font>";

print <<<HTML
        </td>
    </tr>
</table>
HTML;
} 
mi stampa il contenuto del file di testo, ma non è formattato, è come se stampasse subito quando elabora la stringa
Codice PHP:
$testo = include "storia.txt"; 
e quello che viene dopo lo ignora...

Avete suggerimenti? o qualche dritta?
Grazie!!!