blob: 3285cb49a3f7e4eb71669d11661594f95f2f76d1 (
plain)
1
2
3
4
5
6
7
8
9
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
|