#! /bin/sh
######################################
##### Model Transformation Tools #####
######################################
# Bourne shell script: txt2tex
# Generic textual inclusion as verbatim tex.
# P.J.Gawthrop March 1998
# Copyright (c) P.J.Gawthrop, 1998.
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
###############################################################
if [ -z "$3" ]; then
echo Usage: txt2tex system representation language
exit 1
fi
# Inform user
echo "Creating $1_$2.tex"
rm -f mtt_error
#Write some file headers
echo "%% Tex file ($1_$2.txt)" > $1_$2.tex
echo "%% Generated by MTT at `date`" >> $1_$2.tex
cat <<EOF >> $1_$2.tex
\begin{verbatim}
EOF
cat $1_$2.$3 >> $1_$2.tex
cat<<EOF >> $1_$2.tex
\end{verbatim}
EOF