domanda:

fare un semplice file_get_contents($file) ?

comunque per la formattazione basta che metti il contenuto del file dentro i tag <pre> </pre>