diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/bussproofs-extra/Makefile')
-rw-r--r-- | Master/texmf-dist/source/latex/bussproofs-extra/Makefile | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/bussproofs-extra/Makefile b/Master/texmf-dist/source/latex/bussproofs-extra/Makefile new file mode 100644 index 00000000000..3285cb49a3f --- /dev/null +++ b/Master/texmf-dist/source/latex/bussproofs-extra/Makefile @@ -0,0 +1,10 @@ +ALL: bussproofs-extra.sty bussproofs-extra.pdf + +bussproofs-extra.sty: bussproofs-extra.dtx bussproofs-extra.ins + latex bussproofs-extra.ins + +bussproofs-extra.pdf: bussproofs-extra.sty + pdflatex bussproofs-extra.dtx + makeindex -s gglo.ist -o bussproofs-extra.gls bussproofs-extra.glo + pdflatex bussproofs-extra.dtx + pdflatex bussproofs-extra.dtx |