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