Index: mttroot/mtt/bin/trans/rep_txt2sh ================================================================== --- mttroot/mtt/bin/trans/rep_txt2sh +++ mttroot/mtt/bin/trans/rep_txt2sh @@ -13,10 +13,13 @@ ############################################################### ## Version control history ############################################################### ## $Id$ ## $Log$ +# Revision 1.2 1997/12/06 14:27:53 peterg +# No changes. +# ## Revision 1.1 1997/08/26 09:06:11 peterg ## Initial revision ## ############################################################### @@ -32,10 +35,16 @@ mv $1_rep.txt $1_rep.txt.SAVE strip_comments < $1_rep.txt.SAVE |\ awk '{print "mtt", sys, $1, $2}' sys="$1" >$1_rep.txt fi -# Execute the commands - quietly! -strip_comments< $1_rep.txt | sed 's/mtt /mtt -q /' | sh +# Execute a make if Makefile exists +if [ -f Makefile ]; then + echo Executing the Makefile + make +fi + +# Execute the commands - quietly and untidily! +strip_comments< $1_rep.txt | sed 's/mtt /mtt -q -u /' | tee -a JUNK | sh echo "Done creating representations for $1_rep.tex"