diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /macros/inrstex/inrstex/inrsunix.sh |
Initial commit
Diffstat (limited to 'macros/inrstex/inrstex/inrsunix.sh')
-rw-r--r-- | macros/inrstex/inrstex/inrsunix.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/macros/inrstex/inrstex/inrsunix.sh b/macros/inrstex/inrstex/inrsunix.sh new file mode 100644 index 0000000000..dd1f48d528 --- /dev/null +++ b/macros/inrstex/inrstex/inrsunix.sh @@ -0,0 +1,14 @@ +#!/bin/sh +# +# INRSTeX +# +if [ $# = 1 ]; then + jobname=`/usr/bin/basename $1 .tex` + # rename auxiliary files -- see writunix.tex + /bin/mv $jobname.tag $jobname.tag~ 2>/dev/null + /bin/mv $jobname.toc $jobname.toc~ 2>/dev/null + /bin/mv $jobname.fig $jobname.fig~ 2>/dev/null + /bin/mv $jobname.tbl $jobname.tbl~ 2>/dev/null +fi +exec /usr/users/u1/mike/inrstex/virtex_mlb '&/usr/users/u1/mike/inrstex/inrs3_mlb' $* +
\ No newline at end of file |