From c5a40679707809a67789ed63672bd9b73fd31c41 Mon Sep 17 00:00:00 2001
From: Karl Berry <karl@freefriends.org>
Date: Thu, 4 Apr 2019 20:59:56 +0000
Subject: bussproofs-extra (4apr19)

git-svn-id: svn://tug.org/texlive/trunk@50760 c570f23f-e606-0410-a88d-b1316a301751
---
 .../latex/bussproofs-extra/bussproofs-extra.ins    | 57 ++++++++++++++++++++++
 1 file changed, 57 insertions(+)
 create mode 100644 Master/texmf-dist/source/latex/bussproofs-extra/bussproofs-extra.ins

(limited to 'Master/texmf-dist/source/latex/bussproofs-extra/bussproofs-extra.ins')

diff --git a/Master/texmf-dist/source/latex/bussproofs-extra/bussproofs-extra.ins b/Master/texmf-dist/source/latex/bussproofs-extra/bussproofs-extra.ins
new file mode 100644
index 00000000000..e511feff730
--- /dev/null
+++ b/Master/texmf-dist/source/latex/bussproofs-extra/bussproofs-extra.ins
@@ -0,0 +1,57 @@
+%%
+%% Copyright (C) 2019 by Richard Zach <rzach@ucalgary.ca>
+%%
+%% This file may be distributed and/or modified under the conditions of
+%% the LaTeX Project Public License, either version 1.2 of this license
+%% or (at your option) any later version.  The latest version of this
+%% license is in:
+%% 
+%%    http://www.latex-project.org/lppl.txt
+%% 
+%% and version 1.2 or later is part of all distributions of LaTeX version
+%% 1999/12/01 or later.
+%%
+
+\input docstrip.tex
+\keepsilent
+
+\usedir{tex/latex/bussproofs-extra}
+
+\preamble
+
+This is a generated file.
+
+Copyright (C) 2019 by Richard Zach <rzach@ucalgary.ca>
+
+This file may be distributed and/or modified under the conditions of
+the LaTeX Project Public License, either version 1.3 of this license
+or (at your option) any later version.  The latest version of this
+license is in:
+
+   http://www.latex-project.org/lppl.txt
+
+and version 1.3 or later is part of all distributions of LaTeX version
+1999/12/01 or later.
+
+\endpreamble
+
+\generate{\file{bussproofs-extra.sty}{\from{bussproofs-extra.dtx}{package}}}
+
+\obeyspaces
+\Msg{*************************************************************}
+\Msg{*                                                           *}
+\Msg{* To finish the installation you have to move the following *}
+\Msg{* file into a directory searched by TeX:                    *}
+\Msg{*                                                           *}
+\Msg{*     bussproofs-extra.sty                                  *}
+\Msg{*                                                           *}
+\Msg{* To produce the documentation run the file bpextra.dtx     *}
+\Msg{* through LaTeX, and then                                   *}
+\Msg{* makeindex -s gglo.ist -o bussproofs-extra.gls bussproofs-extra.glo *}
+\Msg{* Then run LaTeX on bussproofs-extra.dtx again              *}
+\Msg{*                                                           *}
+\Msg{* Happy TeXing!                                             *}
+\Msg{*                                                           *}
+\Msg{*************************************************************}
+
+\endbatchfile
-- 
cgit v1.2.3

