1 files changed, 51 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/minitoc/rmk b/Master/texmf-dist/doc/latex/minitoc/rmk
new file mode 100755
index 00000000000..017bed29040
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/minitoc/rmk
@@ -0,0 +1,51 @@
+#! /bin/csh
+# repartition
+echo 'Repartition of files into classes'
+foreach i ( 0 1 2 3 4 5 6 7 8 9 )
+  if ( -e CL$i ) then
+    \rm -rf CL$i
+  endif
+  if ( -d CL$i ) then
+    \rm -rf CL$i/*
+    rmdir CL$i
+  else 
+    mkdir CL$i
+  endif
+end
+# class 0
+echo 'Class 0'
+cp minitoc.dtx minitoc.ins fminitoc.dtx CL0
+# class 1
+echo 'Class 1'
+cp minitoc.sty mtcoff.sty CL1
+cp mtcpatchmem.sty CL1
+cp *.mld *.mlo CL1
+# class 2
+echo 'Class 2'
+cp INSTALL minitoc.l README catalog TODO CL2
+# class 3
+echo 'Class 3'
+cp minitoc-ex.tex mini-art.tex add.tex add.bib CL3
+# class 4
+echo 'Class 4'
+cp minitoc.bug minitoc.sum CL4
+# class 5
+echo 'Class 5'
+cp minitoc.dtx minitoc.ins minitoc.bib minitoc.ist mtcglo.ist minitoc.lan CL5
+# class 6
+echo 'Class 6'
+cp minitoc.dtx fminitoc.dtx fminitoc.bib fminitoc.ist fminitoc.lan CL6
+cp franc.sty frbib.sty frnew.sty frplain1.bst CL6
+# class 7
+echo 'Class 7'
+cp minitoc.pdf minitoc.ps CL7
+# class 8
+echo 'Class 8'
+cp fminitoc.pdf fminitoc.ps CL8
+# class 9
+echo 'Class 9'
+cp pmk imk emk fmk rmk CL9
+# it's all!
+echo "Repartition done"
+exit
+