#!/bin/sh # This script was created by make-mzscheme-launcher if [ "$PLTHOME" = '' ] ; then PLTHOME="/usr/pkg/lib/plt" export PLTHOME fi exec "${PLTHOME}/bin/mzscheme" '-qmvL-' 'start.ss' 'tex2page' ${1+"$@"}