diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/bbm/bbm.ins')
-rw-r--r-- | Master/texmf-dist/source/latex/bbm/bbm.ins | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/bbm/bbm.ins b/Master/texmf-dist/source/latex/bbm/bbm.ins new file mode 100644 index 00000000000..7f45b922086 --- /dev/null +++ b/Master/texmf-dist/source/latex/bbm/bbm.ins @@ -0,0 +1,20 @@ +\def\batchfile{bbm.ins} +\input docstrip.tex + +\preamble + +Copyright (C) 1994,1997 by Torsten Hilbrich + +This file is part of the BBM package, a support for using the bbm* fonts. +\endpreamble + +% Don't display progress +\keepsilent + +\generateFile{bbm.sty}{t}{\from{bbm.dtx}{package}} +\generateFile{ubbm.fd}{t}{\from{bbm.dtx}{bbm}} +\generateFile{ubbmss.fd}{t}{\from{bbm.dtx}{bbmss}} +\generateFile{ubbmtt.fd}{t}{\from{bbm.dtx}{bbmtt}} +\generateFile{bbm.drv}{t}{\from{bbm.dtx}{driver}} + +\endinput |