diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/frontespizio/makedoc.sh')
-rw-r--r-- | Master/texmf-dist/doc/latex/frontespizio/makedoc.sh | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/Master/texmf-dist/doc/latex/frontespizio/makedoc.sh b/Master/texmf-dist/doc/latex/frontespizio/makedoc.sh deleted file mode 100644 index 6a4a613435c..00000000000 --- a/Master/texmf-dist/doc/latex/frontespizio/makedoc.sh +++ /dev/null @@ -1,17 +0,0 @@ - -#!/bin/sh -pdflatex examplea.tex -pdflatex examplea-frn.tex -pdflatex exampleb.tex -pdflatex exampleb-frn.tex -pdflatex examplec.tex -pdflatex examplec-frn.tex -pdflatex exampled.tex -pdflatex exampled-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 |