summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/scripts/minitoc/fmk
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/scripts/minitoc/fmk')
-rwxr-xr-xMaster/texmf-dist/scripts/minitoc/fmk30
1 files changed, 30 insertions, 0 deletions
diff --git a/Master/texmf-dist/scripts/minitoc/fmk b/Master/texmf-dist/scripts/minitoc/fmk
new file mode 100755
index 00000000000..1acc57b1757
--- /dev/null
+++ b/Master/texmf-dist/scripts/minitoc/fmk
@@ -0,0 +1,30 @@
+#! /bin/csh
+if ( -f fminitoc.dtx ) then
+echo 'Creating the french documentation...'
+if ( -f fminitoc.maf ) then
+ \rm fminitoc.maf
+endif
+# create the french documentation (PDF): 4 pdflatex runs, with index and biblio
+pdflatex fminitoc.dtx
+sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx
+bibtex fminitoc
+makeindex -s fminitoc.ist -o fminitoc.ind fminitoc.idx
+mv fminitoc.ilg fminitoc.ilg1
+#
+pdflatex fminitoc.dtx
+sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx
+makeindex -s fminitoc.ist -o fminitoc.ind fminitoc.idx
+mv fminitoc.ilg fminitoc.ilg1
+#
+pdflatex fminitoc.dtx
+sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx
+makeindex -s fminitoc.ist -o fminitoc.ind fminitoc.idx
+mv fminitoc.ilg fminitoc.ilg1
+#
+pdflatex fminitoc.dtx
+sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx
+# Cleaning
+if ( -f fminitoc.maf ) then
+ cat fminitoc.maf | xargs -i -t \rm {}
+endif
+endif