#! /bin/sh 

SGML_PARSER="nsgmls -E 999999 /usr/local/lib/TEItools/dtd/xml.dcl"

if [ -x ${SGML_HOME}/bin/`basename $0` ]; then
	exec ${SGML_HOME}/bin/`basename $0` $*
fi

echo There is no `basename $0` in ${SGML_HOME}/bin.
echo Contact your system administrator.
exit 1
