There is a show_source($file) function in PHP that will do what you want, I think.
If that's not what you're after, you can read the file into a variable, run htmlentities() on it, then echo out the variable. The html code will show up.
---John Holmes...