bah sinon un petit script php devrait permettre de lire le fichier et de l'afficher en html, non ?
genre un $a = file_get_contents('fichier_demandé'); echo htmlspecialchars($a);