summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/ebproof/ebproof.ins
blob: 2a62d0abae9c0a88bdc8029ea6b935217eb494d8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
%% Copyright (C) 2015-2021 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