summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/bussproofs-extra/Makefile
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-04-04 20:59:56 +0000
committerKarl Berry <karl@freefriends.org>2019-04-04 20:59:56 +0000
commitc5a40679707809a67789ed63672bd9b73fd31c41 (patch)
tree2c98d149af35c10f35e345629339d69a87c48488 /Master/texmf-dist/source/latex/bussproofs-extra/Makefile
parent51826e690ad1c167b12b52e25604ed3579a989ba (diff)
bussproofs-extra (4apr19)
git-svn-id: svn://tug.org/texlive/trunk@50760 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, 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