We need to fix `anno -list -number'. Seems anno needs some more rework.
[mmh] / uip / mmh.sh
2011-12-23 markus schnalkeReplaced C program `install-mh' by shell script `mmh'.