#! /bin/sh
# Script to run PizzaDoc
prefix=/opt/SDGkaffe/1.0b4
exec_prefix=${prefix}
exec ${exec_prefix}/bin/kaffe pizza.compiler.Main -pizzadoc ${1+"$@"}

