Overview
Comment: | Now passes though options as second argument |
---|---|
Downloads: | Tarball | ZIP archive | SQL archive |
Timelines: | family | ancestors | descendants | both | origin/master | trunk |
Files: | files | file ages | folders |
SHA3-256: |
5d1cb4b8b850066bdc3a0e0cc08b0fa5 |
User & Date: | gawthrop@users.sourceforge.net on 2000-11-27 10:13:25 |
Other Links: | branch diff | manifest | tags |
Context
2000-11-27
| ||
10:33:35 | -pdf option now coerces ps-->pdf check-in: 7f901fbf50 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
10:13:25 | Now passes though options as second argument check-in: 5d1cb4b8b8 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
2000-11-24
| ||
15:30:32 | Initial revision check-in: 5c2a8830e9 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
Changes
Modified mttroot/mtt/bin/trans/rep_txt2sh from [2e4010a641] to [03dd3f0d6b].
︙ | |||
11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 | 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 | + + + + + + + + - + + + + | # Copyright (c) P.J.Gawthrop, 1996. ############################################################### ## Version control history ############################################################### ## $Id$ ## $Log$ ## Revision 1.4 1998/04/14 18:17:15 peterg ## More messages about Makefile ## ## 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 ## Get switches (if any) mtt_switches=$2 # Inform user echo "Creating representations for $1_rep.tex" # Check for old (2 arg) version and update if necessary mtt_count=`strip_comments < $1_rep.txt | grep -c 'mtt '` if [ "$mtt_count" = "0" ]; then echo 'Hmm .. seems to be an old format. creating new file' echo "Old version saved as $1_rep.txt.SAVE" 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 and untidily! # But use switches |