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, 0 insertions, 10 deletions
diff --git a/Master/texmf-dist/source/latex/bussproofs-extra/Makefile b/Master/texmf-dist/source/latex/bussproofs-extra/Makefile deleted file mode 100644 index 3285cb49a3f..00000000000 --- a/Master/texmf-dist/source/latex/bussproofs-extra/Makefile +++ /dev/null @@ -1,10 +0,0 @@ -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 |