diff options
author | Norbert Preining <norbert@preining.info> | 2024-01-31 03:01:01 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2024-01-31 03:01:01 +0000 |
commit | 79e1bbc1ad6b308aa2074540b2afd43b6a72ce03 (patch) | |
tree | 32074e03eec88cf72e5973ddff176a0534c77dff /macros/inrstex/inrstex/inrsunix.sh | |
parent | 084f5d8435744b7ea7ef487ec111a7bfd100ed62 (diff) |
CTAN sync 202401310301
Diffstat (limited to 'macros/inrstex/inrstex/inrsunix.sh')
-rw-r--r-- | macros/inrstex/inrstex/inrsunix.sh | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/macros/inrstex/inrstex/inrsunix.sh b/macros/inrstex/inrstex/inrsunix.sh deleted file mode 100644 index dd1f48d528..0000000000 --- a/macros/inrstex/inrstex/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 |