#!/bin/sh
# --------------------------------------------------------------------------
# Copyright 1992-1993 by Forschungszentrum Informatik (FZI)
#
# You can use and distribute this software under the terms of the license
# version 1 you should have received along with this software.
# If not or if you want additional information, write to
# Forschungszentrum Informatik, "STONE", Haid-und-Neu-Strasse 10-14,
# D-76131 Karlsruhe, Germany.
# --------------------------------------------------------------------------
# 'obst-stf - 17:05:91 - dietmar theobald'
#
# obst-stf
#
# OBST grammar utilities structurer & flattener
#
[ -n "$STFdir" ] || { STFdir="`cd \`dirname $0\`;pwd`/"; export STFdir; }

[ -n "$SOSCONTAINER$OBSTCONTAINER" -a -n "$SOSDIR$OBSTDIR" ] || {
   echo >&2 '*** obst-stf: OBSTCONTAINER and/or OBSTDIR not defined'
   exit 1
}
${STFdir}stf $*
