diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/mnsymbol/MnSymbol.ins')
-rw-r--r-- | Master/texmf-dist/source/latex/mnsymbol/MnSymbol.ins | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/mnsymbol/MnSymbol.ins b/Master/texmf-dist/source/latex/mnsymbol/MnSymbol.ins new file mode 100644 index 00000000000..4292939cd60 --- /dev/null +++ b/Master/texmf-dist/source/latex/mnsymbol/MnSymbol.ins @@ -0,0 +1,23 @@ +\def\batchfile{MnSymbol.ins} +\input docstrip.tex + +\preamble + +These files are public domain. + +\endpreamble + +\postamble +vim:set ft=tex: +\endpostamble + +\keepsilent +\askforoverwritetrue + +\generate{% + \file{MnSymbol.drv}{\from{MnSymbol.dtx}{driver}} + \file{MnSymbol.sty}{\from{MnSymbol.dtx}{style}} +} + +\endinput +% vim:set ft=tex: |