From e8e42065b3d5c8007da7c14ca4dcacb7c079566e Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Tue, 7 May 2019 19:55:34 +0000 Subject: proof-at-the-end (7may19) git-svn-id: svn://tug.org/texlive/trunk@51039 c570f23f-e606-0410-a88d-b1316a301751 --- .../latex/proof-at-the-end/proof-at-the-end.ins | 31 ++++++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.ins (limited to 'Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.ins') diff --git a/Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.ins b/Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.ins new file mode 100644 index 00000000000..db0365abbe5 --- /dev/null +++ b/Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.ins @@ -0,0 +1,31 @@ +% proof-at-the-end.ins generated using makedtx version 1.2 2019/5/7 12:29 +\input docstrip + +\preamble + + proof-at-the-end.dtx + Copyright 2019 Léo Colisson + + This work 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 2005/12/01 or later. + + This work has the LPPL maintenance status `maintained'. + + The Current Maintainer of this work is Léo Colisson. + + This work consists of the files proof-at-the-end.dtx and proof-at-the-end.ins and the derived file proof-at-the-end.sty. + +\endpreamble + +\askforoverwritefalse + +\generate{\file{proof-at-the-end.sty}{\usepreamble\defaultpreamble +\usepostamble\defaultpostamble\from{proof-at-the-end.dtx}{proof-at-the-end.sty,package}} +} + +\endbatchfile -- cgit v1.2.3