diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/bbding/bbding.ins')
-rw-r--r-- | Master/texmf-dist/source/latex/bbding/bbding.ins | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/bbding/bbding.ins b/Master/texmf-dist/source/latex/bbding/bbding.ins new file mode 100644 index 00000000000..490ed3a7ce5 --- /dev/null +++ b/Master/texmf-dist/source/latex/bbding/bbding.ins @@ -0,0 +1,11 @@ +% Driverprogram for bbding.dtx +\def\batchfile{bbding.ins} +\input docstrip + +\keepsilent + +\generateFile{bbding.sty}{f}{\from{bbding.dtx}{sty}} +% First the header and then all the definitions + +\generateFile{Uding.fd}{f}{\from{bbding.dtx}{fd}} +% And at last the font definitions file. |