#!/bin/bash
# edit html with us-intl-altgr and write as usual
# use this afterwards
# original by Michael Luthardt 2007
# http://dr-luthardt.de/
sed -i -e 's/\Ä/\Ä/g' \
-i -e 's/\ä/\ä/g' \
-i -e 's/\Ö/\Ö/g' \
-i -e 's/\ö/\ö/g' \
-i -e 's/\Ü/\Ü/g' \
-i -e 's/\ü/\ü/g' \
-i -e 's/\ß/\ß/g' \
-i -e 's/\^-/\–/g' \
-i -e 's/\^ /\ /g' \
-i -e 's/\^\</g' \
-i -e 's/\^>/\>/g' \
-i -e 's/\^&/\&/g' \
-i -e 's/\^\^/\^/g' \
-i -e 's/\^x/\×/g' \
-i -e 's/\^r/\→/g' \
-i -e 's/\^b/\•/g' \
-i -e 's/\^e/\⇄/g' \
$1