blob: c25ef7a79a7bb74e7c53ccb6b610a9d3676f5da7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#!/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/lib/tex/inrstex $*
|