diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/feyn/feyn.ins')
-rw-r--r-- | Master/texmf-dist/source/latex/feyn/feyn.ins | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/feyn/feyn.ins b/Master/texmf-dist/source/latex/feyn/feyn.ins new file mode 100644 index 00000000000..5a56e95876d --- /dev/null +++ b/Master/texmf-dist/source/latex/feyn/feyn.ins @@ -0,0 +1,14 @@ +\input docstrip +\preamble + Feyn: package to manage the font feyn10 +\endpreamble +\keepsilent +\askforoverwritefalse + +\generate{\file{feyn.drv}{\from{feyn.dtx}{driver}} + \file{feyn.sty}{\from{feyn.dtx}{package}} + } + +\endbatchfile + +%% $Id: feyn.ins,v 1.1 2001/08/06 17:21:31 norman Exp $ |