:
# html2iso - changes HTML-characters to ISO 8859 special characters
#
# Author:	Heiner Steven (heiner.steven@odn.de)
# Date:		14.11.1996
# Category:	File Conversion, HTML
#
# Note
# o  This script supports German "Umlaute" only

if [ $# -eq 1 -a \( "$1" = "-h" -o "$1" = "-?" \) ]
then
    echo "$0 - change HTML-characters to ISO 8859 special characters"
    echo "usage: $0 [file ...]"
    exit 1
fi

cat "$@" |
    sed '
s/&auml\;/ä/g
s/&ouml\;/ö/g
s/&uuml\;/ü/g
s/&Auml\;/Ä/g
s/&Ouml\;/Ö/g
s/&Uuml\;/Ü/g
s/&szlig\;/ß/g
'