ADDED mttroot/mtt/bin/trans/txt2tex Index: mttroot/mtt/bin/trans/txt2tex ================================================================== --- /dev/null +++ mttroot/mtt/bin/trans/txt2tex @@ -0,0 +1,44 @@ +#! /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 <> $1_$2.tex +\begin{verbatim} +EOF +cat $1_$2.$3 >> $1_$2.tex +cat<> $1_$2.tex +\end{verbatim} +EOF + + + +