#!/bin/sh
echo "<programlisting>"
sed -e 's/\f//' -e 's/&/\&amp;/g' -e 's/</\&lt;/g' -e 's/>/\&gt;/g' \
    -e 's/"/\&quot;/g'  -e "s/'/\&\#39;/g" "$1"
echo "</programlisting>"
