diff options
author | Karl Berry <karl@freefriends.org> | 2020-08-20 21:09:58 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-08-20 21:09:58 +0000 |
commit | da01f156c51c5a5b7b85040fbfccd492c5036e8a (patch) | |
tree | 3c1e392b2370ebac0fb3874119d54b274b4a1e21 /Master/texmf-dist/source/latex/ebproof/ebproof.ins | |
parent | ae0f96704f8dc602be68a3b2be924dc26ce6a02c (diff) |
ebproof (20aug20)
git-svn-id: svn://tug.org/texlive/trunk@56139 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source/latex/ebproof/ebproof.ins')
-rw-r--r-- | Master/texmf-dist/source/latex/ebproof/ebproof.ins | 15 |
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 |