diff options
Diffstat (limited to 'fonts/feyn/feyn.ins')
| -rw-r--r-- | fonts/feyn/feyn.ins | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/fonts/feyn/feyn.ins b/fonts/feyn/feyn.ins new file mode 100644 index 0000000000..f69f819db8 --- /dev/null +++ b/fonts/feyn/feyn.ins @@ -0,0 +1,12 @@ +\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 |