diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/minitoc/rmk')
| -rwxr-xr-x | Master/texmf-dist/doc/latex/minitoc/rmk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf-dist/doc/latex/minitoc/rmk b/Master/texmf-dist/doc/latex/minitoc/rmk index 1596a531a8c..f7d799589c4 100755 --- a/Master/texmf-dist/doc/latex/minitoc/rmk +++ b/Master/texmf-dist/doc/latex/minitoc/rmk @@ -1,6 +1,6 @@ #! /bin/csh # repartition -set w=`whoami` +set w=`whoami`.rmk set OLD=/tmp/$w/OLD set WCL=/tmp/$w/CL echo 'Repartition of files into classes' @@ -55,7 +55,7 @@ echo 'Class 8' cp fminitoc.pdf fminitoc.ps ${WCL}8 # class 9 echo 'Class 9' -cp pmk imk emk fmk rmk xmk duplex2v.pro ${WCL}9 +cp pmk imk emk fmk rmk tmk xmk duplex2v.pro ${WCL}9 # it's all! echo "Repartition done" exit |