diff options
author | Karl Berry <karl@freefriends.org> | 2019-06-02 21:47:32 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-06-02 21:47:32 +0000 |
commit | 7e9446ab7f75aff4dd715dba944a43a3e9aa069a (patch) | |
tree | b52f1f9dca75579eb383bc946bf039752ecd1d48 /Master/texmf-dist/doc/latex/bussproofs-extra/README.md | |
parent | df91712c3f10cc96b788f31dd2762ea255b1dd80 (diff) |
bussproofs-extra (2jun19)
git-svn-id: svn://tug.org/texlive/trunk@51299 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/bussproofs-extra/README.md')
-rw-r--r-- | Master/texmf-dist/doc/latex/bussproofs-extra/README.md | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Master/texmf-dist/doc/latex/bussproofs-extra/README.md b/Master/texmf-dist/doc/latex/bussproofs-extra/README.md index 2b8ed7088ce..a9a6d58b2f4 100644 --- a/Master/texmf-dist/doc/latex/bussproofs-extra/README.md +++ b/Master/texmf-dist/doc/latex/bussproofs-extra/README.md @@ -11,9 +11,6 @@ latex bussproofs-extra.ins To generate the documentation, run ``` pdflatex bussproofs-extra.dtx -makeindex -s gglo.ist -o bussproofs-extra.gls bussproofs-extra.glo -pdflatex bussproofs-extra.dtx -pdflatex bussproofs-extra.dtx ``` This package is distributed under the terms of the LPPL 1.3c |