:
# html2iso - changes HTML-characters to ISO 8859 special characters
#
# Author: Heiner Steven
# Date: 1996-11-14
# Category: File Conversion, HTML
#
# Note
# o This script supports German "Umlaute" only
if [ $# -eq 1 ] && [ \( X"$1" = X"-h" -o X"$1" = X"-?" \) ]
then
echo >&2 "$0 - change HTML-characters to ISO 8859 special characters
usage: $0 [file ...]"
exit 1
fi
cat "$@" |
sed '
s/ä\;/ä/g
s/ö\;/ö/g
s/ü\;/ü/g
s/Ä\;/Ä/g
s/Ö\;/Ö/g
s/Ü\;/Ü/g
s/ß\;/ß/g
s/"\;/"/g
s/&\;/\&/g
s/ \;/ /g
s/&ndash\;/-/g
s/ä\;/ä/g
s/ö\;/ö/g
s/ü\;/ü/g
s/Ä\;/Ä/g
s/Ö/Ö/g
s/ü\;/Ü/g
s/ß\;/ß/g
'