#! /bin/sed -f
#  Generate HTML for plain text from plain text
s/&/\&/g
s/</\&#60;/g
1i\
<PRE>
$a\
</PRE>