diff options
| author | Karl Berry <karl@freefriends.org> | 2015-07-13 22:12:57 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2015-07-13 22:12:57 +0000 |
| commit | 4b3fc95cce2e262c8570ac41b7eb3958badbdb49 (patch) | |
| tree | 6c86768f507415d8823d4ff3efd3beb349bae1ea /Master/texmf-dist/doc/latex/minitoc/imk | |
| parent | 3bd1986be7ec187300f2a1b833f58a4a6f449012 (diff) | |
minitoc v61 (13jul15)
git-svn-id: svn://tug.org/texlive/trunk@37852 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/minitoc/imk')
| -rw-r--r-- | 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 f32b9b792b1..e053e597171 100644 --- a/Master/texmf-dist/doc/latex/minitoc/imk +++ b/Master/texmf-dist/doc/latex/minitoc/imk @@ -1,4 +1,4 @@ -#! /bin/csh +#! /bin/csh -f set w=`whoami`.imk set OLD=/tmp/$w/OLD if ( -d $OLD ) then |