#! /bin/sh
# We use Pizza rather than Sun's
exec /usr/local/bin/kaffe pizza.compiler.Main -pizzadoc ${1+"$@"}

