diff options
Diffstat (limited to 'obsolete/macros/inrstex/inrstex/inrs.scr')
-rw-r--r-- | obsolete/macros/inrstex/inrstex/inrs.scr | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/obsolete/macros/inrstex/inrstex/inrs.scr b/obsolete/macros/inrstex/inrstex/inrs.scr new file mode 100644 index 0000000000..c25ef7a79a --- /dev/null +++ b/obsolete/macros/inrstex/inrstex/inrs.scr @@ -0,0 +1,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 $* |