diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/frontespizio/makedoc.sh')
-rw-r--r-- | Master/texmf-dist/doc/latex/frontespizio/makedoc.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/frontespizio/makedoc.sh b/Master/texmf-dist/doc/latex/frontespizio/makedoc.sh new file mode 100644 index 00000000000..0c59680731f --- /dev/null +++ b/Master/texmf-dist/doc/latex/frontespizio/makedoc.sh @@ -0,0 +1,14 @@ +#!/bin/sh +pdflatex examplea.tex +pdflatex examplea-frn.tex +pdflatex exampleb.tex +pdflatex exampleb-frn.tex +pdflatex examplec.tex +pdflatex examplec-frn.tex +pdflatex frontespizio.dtx +pdflatex frontespizio-frn.tex +makeindex -s gind frontespizio +makeindex -s gglo -o frontespizio.gls frontespizio.glo +pdflatex frontespizio.dtx +pdflatex frontespizio.dtx +exit |