diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/minitoc/imk')
-rwxr-xr-x | Master/texmf-dist/doc/latex/minitoc/imk | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/minitoc/imk b/Master/texmf-dist/doc/latex/minitoc/imk new file mode 100755 index 00000000000..351c77bf708 --- /dev/null +++ b/Master/texmf-dist/doc/latex/minitoc/imk @@ -0,0 +1,13 @@ +#! /bin/csh +if ( -d OLD ) then +else + mkdir OLD +endif +mv minitoc.sty mtcoff.sty minitoc.ist mtcglo.ist fminitoc.dtx fminitoc.ist minitoc.pre franc.sty frbib.sty frnew.sty OLD +mv mypatches.sty boldsc.sty OLD +mv mtcpatchmem.sty OLD +mv *.mld OLD +mv *.mlo OLD +mv *.lan OLD +latex minitoc.ins +cp minitoc.log minitoc.log1 |