#!/bin/sh
echo "(html header stuff)"
echo "</pre>"
cat file1 file2 file3
echo "</pre></html>"