#!/bin/sh -e
#
#
AWK=/usr/bin/awk
DIR=/usr/share/comerr

ROOT=`echo $1 | sed -e s/.et$//`
BASE=`basename $ROOT`

$AWK -f ${DIR}/et_h.awk outfile=${BASE}.h $ROOT.et
$AWK -f ${DIR}/et_c.awk outfile=${BASE}.c $ROOT.et
