: # 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 '