+function main () {
+ local cmd
+ case "$1" in
+ ""|"build") cmd=build ;;
+ "doc" ) cmd=doc ;;
+ "check" ) cmd=check ;;
+ "clean" ) cmd=clean ;;
+ "dist" ) cmd=dist ;;
+ "install" ) cmd=install;;
+ *)
+ echo "Usage: $0 [build | doc | check | clean | dist | install]" >&2
+ exit 1
+ esac
+ shift
+ "$cmd" "$@"
+}
+
+main "$@"