diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/minitoc/imk')
-rwxr-xr-x | Master/texmf-dist/doc/latex/minitoc/imk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/doc/latex/minitoc/imk b/Master/texmf-dist/doc/latex/minitoc/imk index c9b7e7b3caf..ac37f3452df 100755 --- a/Master/texmf-dist/doc/latex/minitoc/imk +++ b/Master/texmf-dist/doc/latex/minitoc/imk @@ -1,5 +1,5 @@ #! /bin/csh -set w=`whoami` +set w=`whoami`.imk set OLD=/tmp/$w/OLD if ( -d $OLD ) then else |