summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/ebproof/ebproof.ins
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/ebproof/ebproof.ins')
-rw-r--r--Master/texmf-dist/source/latex/ebproof/ebproof.ins15
1 files changed, 15 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/ebproof/ebproof.ins b/Master/texmf-dist/source/latex/ebproof/ebproof.ins
new file mode 100644
index 00000000000..25bcc734965
--- /dev/null
+++ b/Master/texmf-dist/source/latex/ebproof/ebproof.ins
@@ -0,0 +1,15 @@
+%% Copyright (C) 2015-2018 by Emmanuel Beffara
+%%
+%% 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
+%% 2005/12/01 or later.
+
+\input l3docstrip.tex
+\keepsilent \askforoverwritefalse
+\generate{\file{ebproof.sty}{\from{ebproof.dtx}{package}}}
+\endbatchfile