File mtt/bin/trans/txt2tex artifact 18a439014a part of check-in 4683e9435a

#! /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