blob: dd1f48d528510359760a9306c9825572af42d9e5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
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' $*
|