Index: mttroot/mtt/bin/trans/rep_txt2sh ================================================================== --- mttroot/mtt/bin/trans/rep_txt2sh +++ mttroot/mtt/bin/trans/rep_txt2sh @@ -13,18 +13,27 @@ ############################################################### ## Version control history ############################################################### ## $Id$ ## $Log$ +## Revision 1.3 1998/04/14 18:01:04 peterg +## Now executes a Makefile (if it exists) +## # Revision 1.2 1997/12/06 14:27:53 peterg # No changes. # ## Revision 1.1 1997/08/26 09:06:11 peterg ## Initial revision ## ############################################################### - +# Execute a make if Makefile exists +if [ -f Makefile ]; then + echo Executing the Makefile + make + echo Done executing the Makefile + echo +fi # Inform user echo "Creating representations for $1_rep.tex" # Check for old (2 arg) version and update if necessary @@ -35,16 +44,10 @@ 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 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"