summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/bussproofs-extra/Makefile
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-06-02 21:47:32 +0000
committerKarl Berry <karl@freefriends.org>2019-06-02 21:47:32 +0000
commit7e9446ab7f75aff4dd715dba944a43a3e9aa069a (patch)
treeb52f1f9dca75579eb383bc946bf039752ecd1d48 /Master/texmf-dist/source/latex/bussproofs-extra/Makefile
parentdf91712c3f10cc96b788f31dd2762ea255b1dd80 (diff)
bussproofs-extra (2jun19)
git-svn-id: svn://tug.org/texlive/trunk@51299 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source/latex/bussproofs-extra/Makefile')
-rw-r--r--Master/texmf-dist/source/latex/bussproofs-extra/Makefile10
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