From c5a40679707809a67789ed63672bd9b73fd31c41 Mon Sep 17 00:00:00 2001 From: Karl Berry 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 +%% +%% 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 + +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