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