diff options
Diffstat (limited to 'macros/inrstex/inrsdoc/inrsunix.sh')
| -rw-r--r-- | macros/inrstex/inrsdoc/inrsunix.sh | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/macros/inrstex/inrsdoc/inrsunix.sh b/macros/inrstex/inrsdoc/inrsunix.sh deleted file mode 100644 index dd1f48d528..0000000000 --- a/macros/inrstex/inrsdoc/inrsunix.sh +++ /dev/null @@ -1,14 +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/users/u1/mike/inrstex/virtex_mlb '&/usr/users/u1/mike/inrstex/inrs3_mlb' $* -
\ No newline at end of file |