> Since he's outputting to html, he probably really does want to use a
> "here document" at some point for formatting.
>
> The trick there, I think, is in the indenting. If never sees the "EOF"
> because it's indented. Check the manpage for bash to see about alternate
> forms of <