From e8e42065b3d5c8007da7c14ca4dcacb7c079566e Mon Sep 17 00:00:00 2001
From: Karl Berry <karl@freefriends.org>
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

