#! /bin/sh # transform HTML character mnemonic reference web page into mnemonic entries # ß # ß # -> # {"szlig", 0x00DF /* ß */}, refpage=${1-zeichen.htm} htmlver=`sed -e '1 s,.*HTML \([0-9.]*\).*,\1,' -e t -e d $refpage` echo " /* HTML $htmlver mnemos (named entities) */" cat $refpage | tr -d '\015' | sed -e '/class="code"/ b entry' -e d -e ': entry' -e N \ -e "s@.*&\([^;]*\);.*&#\([^;]*\);.*@echo -n ' {\"\1\", 0x'; printf %04X \2; echo -n ' /* U+'; printf %04X \2; echo ' */},'@" | sh | ./insutf8 | sed -e 's,U+[^ ]* ,,' | sed -e 's,"not","\¬",' \ -e 's,"oslash","\ø",' \ -e 's,"circ","\&circ",' \ -e 's,"phi","\&phi",' \ -e 's,"asymp","\&asymp",' echo "check uniqueness with ./mnemos.check" >&2